Proving The Quadratic Formula