Prove the Direct Variation in Spring Bounces