“…By Lemma 2.1, M~4=~ and, consequently, N is strongly imbedded in K. By Lemma 2.6, K is a finite subgroup; therefore, if N contains more than one involution, then, by the theorem from[2], ~ satisfies the assertion ofTheorem 2.2, in spite of our assumption. Obviously, L~_-gr(~'~d'~-'c"]~L c andl/tl= ILJ; ¢ The lemma is proved.consequently, 0J e N~L ~ .As the fundamental step of the proof, we show that ~ satisfies the assertion of Theorem 2.2.…”