The top documents tagged [indirect geometric proofs]