theorem Th34: :: ORDINAL2:34

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