algebraic proofs

join shbcf.ru