theorem Th92: :: ORDINAL7:79

for a being Ordinal holds
( a is limit_ordinal iff not 0 in rng (omega -exponent (CantorNF a)) )