“…qq − e qq ze * pp = 1 for some z ∈ R/P and 1 ≤ p = q, q * ≤ 4. Therefore, by Lemma 5.4, the group B P contains all elements t pq (b), t p * q (b), t pq * (b), t p * q * (b), t p (b), t q (b), t p * (b), and t q * (b) for b ∈ (IJ) 4 , where I = R/P (t pq (z) − 1)R/P is the * -ideal of the algebra R/P generated by t pq (z) − 1 and J is the ideal of the center Z(R/P ) of this algebra generated by the elements v − v 3 , where v ∈ Z(R/P ) s . Note that by the terms on the * -prime algebra R/P and Remark 1.13, the ideals J and IJ are not equal to zero.…”