better proofs for start of ch 4