The price paid under this revised strategy is that these first generation theorems no longer have comparatively short proofs, but instead rely on the complete classification.
Το τίμημα κάτω από αυτήν την αναθεωρημένη στρατηγική είναι ότι τα θεωρήματα πρώτης γενιάς δεν έχουν μόνο συγκριτικά μικρές αποδείξεις, αλλά αντί αυτού βασίζονται στην πλήρη ταξινόμηση.