theorem Th34: :: ORDINAL3:34

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