Potential Function Proofs For Gradient Methods In Python