Many of the techniques they introduced in their proof, especially the idea of local analysis, were developed further into tools used in the classification.
Многие техники, применённые в доказательстве теоремы, а особенно идея локального анализа, были позднее развиты в методы, используемые в классификации.