for R being non trivial Ring
for i, j being Nat st i <> j holds
dl. (R,i) <> dl. (R,j)