theorem Th51: :: ORDINAL7:38

for A being Cantor-normal-form Ordinal-Sequence holds
( 0 in rng (omega -exponent A) iff ( A <> {} & omega -exponent (last A) = 0 ) )