Alegbraic proofs