14.8. THE QTKE-GROUPS WITH .Cr(G, T) #- 0 1079Suppose that L / 02 (L) ~ A5. Then the choice of L above was forced, so that
K / 02 ( K) ~ Ador all K E Lj ( G, T). Therefore J / 02 ( J) ~ Ador all J E L f ( G, T)
by 1.2.4 and A.3.12. Thus part (4) of Hypothesis 13.3.1 is satisfied, completing the
verification of Hypothesis 13.3.1.
Now Theorem 14.8.1 completes the proof of Theorem D. D