Proof of the quadratic formula