The top documents tagged [proving theorem]