symmetry of second derivatives — theorem