The top documents tagged [geometric proof theorem]