proofs in ch.4