Two column Proof. Page 4, Proof 6