Vector Operations and Proofs