Proof Using Algebra