The top documents tagged [algebraic proofbegin]