for a, b, c being Ordinal st 1 in c & c -exponent b in c -exponent a holds
b in a