that the curl of the grad is zero is essentially trivial. it follows from the trivial fact that the integral of GRAD is zero around a closed curve. this is because that integral is evaluated by subtracting the values of some function at the two endpoints, which are equal.
that in turn is true by the FTC, which holds by the trivial fact that the derivative of the area function is the height functon, which holds trivially because the area of a rectangle is the base times the height.
on the other hand, sticking all these trivialities together, maybe we have a pathologically amazing theorem!
more interesting is the investigation of forms with zero curl which are not gradients, like dtheta.