The top documents tagged [basic mathematical proofs]