The top documents tagged [indirect algebraic proofs]