what are algebraic proofs