theorem Th35: :: ORDINAL7:22

for c, d being Cantor-component Ordinal st omega -exponent d in omega -exponent c holds
<%c,d%> is Cantor-normal-form