Many first generation theorems overlap, and so divide the possible cases in inefficient ways.
Многие теоремы первого поколения перекрывают друг друга и тем самым разбивают классификацию на возможные случаи неэффективно.