for a, b being Ordinal st omega -exponent a in omega -exponent b holds
b -^ a = b