The top documents tagged [proof of conjecture]