P
Initializing...
Theorem 5.3 from the attained same-marginal minimum · Prove2Me