Because the conclusion was unknown, the first generation proof consists of many stand-alone theorems, dealing with important special cases.
Debido a que a conclusión era descoñecida, a primeira xeración da proba componse de moitos teoremas autónomos, que tratan de importantes casos especiais.