If all maximal subgroups are type I then an argument similar to the CN case shows that the group G cannot be an odd-order minimal simple group, so there are exactly two classes of maximal subgroups of types II, III, IV or V. Most of the rest of the proof now focuses on these two types of maximal subgroup S and T and the relation between them.
Если все максимальные подгруппы имеют тип I, то аргументы, подобные случаю CN, показывают, что группа G не может иметь минимальной простой группой нечётного порядка, так что имеется в точности два случая максимальных подгрупп типа II, III, IV или V. Большая часть остального доказательства фокусируется на этих двух типах максимальных подгрупп S и T и связи между ними.