for n being Nat
for K being Field st n > 0 holds
0. (K,n) <> 1. (K,n)