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.
O prezo pago en virtude da presente estratexia, é que estes teoremas de primeira xeración xa non teñen probas curtas, senón que dependen da clasificación completa.