Строение группы, порядки элементов которой не превосходят числа 4

Доказывается, что группа, порядок каждого элемента которой не превосходит числа 4, либо обладает нетривиальной двуступенно нильпотентной нормальной силовской подгруппой, либо содержит нормальную элементарную абелеву 2-подгруппу, фактор по которой изоморфен неабелевой группе порядка 6.