The top documents tagged [proven bythe problems]