theorem Th22: :: ORDINAL3:22

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