Many first generation theorems overlap, and so divide the possible cases in inefficient ways.
Moitos teorema de primeira xeración superpóñense, e así dividen os casos posibles de xeito ineficiente.