The assumption that either N {\displaystyle N} or G / N {\displaystyle G/N} is solvable can be dropped as it is always satisfied, but all known proofs of this require the use of the much harder Feit-Thompson theorem.
Предположение, что либо N, либо G/N разрешима, может быть опущено, так как оно выполняется всегда, но все известные доказательства этого требуют применения куда более сложной теоремы Фейта — Томпсона.