6.9 Proofs using coordinate Geometry.notebook