Potential Function Proofs For Gradient Methods