Lagrange’s Theorem: Statement and Proof