Quadratic Formula Proof