4.6 Construction Proofs