curl of gradient is zero proof index notation