theorem Th63: :: ORDINAL5:63

for a, b, c being Ordinal st 1 in c & c -exponent b in c -exponent a holds
b in a