Because the conclusion was unknown, the first generation proof consists of many stand-alone theorems, dealing with important special cases.
Поскольку окончательное утверждение было неизвестно, первое поколение доказательства состоит из большого числа самостоятельных теорем, имеющих дело с важными особыми случаями.