Preparing for Formal Proofs in Geometry