theorem Th32: :: ORDINAL2:32

for A, B, C being Ordinal st A in B holds
C +^ A in C +^ B