In vector calculus , the identity for the divergence of a curl states that a vector field 's curl divergence must always be zero .
There is a theorem in vector calculus that states the divergence of a curl must always be zero .