§4.2, proof of Theorem 4.4 — Y_1 and Y_2 each contain at most r − 1 goods of S′_{r−1} ∖ S′_0

Initializing...

§4.2, proof of Theorem 4.4 — Y_1 and Y_2 each contain at most r − 1 goods of S′_{r−1} ∖ S′_0 · Prove2Me