Quadratic Formula (proof)