What shows that the conservation of energy is a mathematical consequence of translational symmetry of time?