Geometry – Section 1.7 – The Formal Proof of a Theorem