for a, b being Ordinal holds
( a +^ b = b iff omega *^ a c= b )