3 types of proofs in geometry