introduction to geometric proofs