fix wording in geometry_proofs_intro