for a, b being Ordinal st 1 in a & a in b holds
b +^ a in a *^ b