theorem Th33: :: ORDINAL2:33

for A, B, C being Ordinal st A c= B holds
C +^ A c= C +^ B