Using hypothetical reasoning and applying the Right Elimination rule i < n times, we can obtain i times the type a".
all remaining a's can be lifted to obtain it for any 71 N+, U{(s, a, 0 i + 1 )perm 0 n} C L(Gn ), and with the result for L(G 0 ), it follows that for any n E N, U{(s, a, o < < n} C L(Gri ).