Main points for potential energy of a stretched spring