Algebraic Proof