The contraction of two Levi-Civita symbols gives . Similarly . Add the two directional-derivative terms to cancel the last terms, leaving
The product rule has therefore proved the gradient of a dot product identity