Ex 3.2: Changed formulas to account for typo in exercise. Finished
reasoning for the end of the proof.