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