# Is it possible to prove that the curl of a gradient equals zero in this way?

If $(\nabla\times\nabla\Phi)_i = \epsilon_{ijk}\partial_j\partial_k\Phi$, where Einstein summation is being used to find the $i$th component...

Using Clairaut's theorem $\partial_{i}\partial_{j}\Phi = \partial_{j}\partial_{i}\Phi$, so $$\epsilon_{ijk}\partial_j\partial_k\Phi = \epsilon_{ijk}\partial_k\partial_j\Phi = -\epsilon_{ikj}\partial_k\partial_j\Phi$$

Now here is where I am confused. If the positive is equal to the negative, the value must be zero. Have I adequately shown this?

-
Just a note that $\epsilon$ or $\varepsilon$ is the symbol to use for the Levi-Civita symbol, not $\in$ (which indicates set membership). –  David Z Oct 8 '12 at 23:21