The top documents tagged [algebraic proofexample]