Algebraic methods and Proof