Hooke's law
See. Hooke's law is the potential energy of the spring itself: