How can one sort mathematical theorems