. . . . "The spring force {right arrow over (F)}spring has the magnitude |{right arrow over (F)}spring|=Kx wherein K is a spring constant and x corresponds to the deflection of the spring from its rest state." .