for R being comRing
for a, b being Element of R holds
( a divides b iff b in {a} -Ideal )