for n being Nat
for R being non trivial Ring holds dl. (R,n) = [1,n]