PROOF. Let X1 be the set of all x in X for which I x I = 1. Since each GjCG = gp X, we conclude by Lemma 8 that each GjCgp X1, and hence that G = gp Xi. It follows from the irreducibility of X that