geometric proofs with vectors