Clairaut's theorem on equality of mixed partials