Potential Energy of a Spring