The top documents tagged [mathematical theorem asserting]