Vector products and Proof of various identities of vectors