The top documents tagged [statementand proof]