Bu da kesin olmali. R={a1,a2,⋯,an} olsun ve b≠0 olsun. bR=R oldugunu gosterince olay biter. Bu bir adet a∈R icin ba=1 anlamina gelir.
Kanıtta şunu kullanabilirsin:
R bir tamlık bölgesidir ancak ve ancak ∀a≠0,b,c∈R, ab=ac⟹b=c sağlanıyorsa.