vector identities