The top documents tagged [proofof lemma]