P
Initializing...
Theorem 7: joint convexity with equality · Prove2Me