theorem Th21: :: ORDINAL7:8

for a, b being Ordinal st a in b holds
b -exponent a = 0