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