theorem Th1: :: SCMRING4:1

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