This is accomplished by the B-theorem, which states that every component of C/O(C) is the image of a component of C. The idea is that these groups have a centralizer of an involution with a component that is a smaller quasisimple group, which can be assumed to be already known by induction.
Делается это с помощью B-теоремы, которая утверждает, что любая компонента C/O(C) является образом компоненты ядра C. Идея заключается в том, что эти группы имеют централизатор инволюции с компонентой, являющейся меньшей квазипростой группой, которая может считаться уже известной по индукции.