Конечные группы со стандартной компонентной типа $\widehat{\Omega^+_8(2)}$

Теорема. Пусть $G$ — конечная группа, $O(G)=1$. $A$ — стандартная компонента в $G$, $|Z(A)|=2$, $A/Z(A)\cong\Omega_8^+(2)$. Тогда $A\trianglelefteq G$.