The top documents tagged [mathematical theoremsfrom]