Vector calculus identity