g is a subgroup of g', gCg' C OP),

Proof: These conditions all come from Theorem 13.1.5, except for (iv) and (iv'), which are simply applications of (ii') and (ii). •

We also have the following conditions which can be derived from Theorem 13.1.6 (see also K. Denecke and M. Reichel, [35]).