vector calculus identity