Huygens's law of the pendulum