Vector calculus identities