Prove corollary 5.3.2 use two column proofs​