for a, b being Nat st 1 < b holds
b |-count (b |^ a) = a