theorem Th33: :: ORDINAL3:33

for A, B, C being Ordinal st B *^ A = C *^ A & A <> {} holds
B = C