The existence of a complement to a normal Hall subgroup H of a finite group G can be proved in the following steps: By induction on the order of G, we can assume that it is true for any smaller group.
Существование дополнения нормальной подгруппы Холла H конечной группы G может быть доказано следующими шагами: По индукции по порядку группы G мы можем предположить, что это верно для всех групп меньшего размера.