Bu da kesin olmali. $R=\{a_1,a_2,\cdots, a_n\}$ olsun ve $b \ne 0$ olsun. $bR=R$ oldugunu gosterince olay biter. Bu bir adet $a \in R$ icin $ba=1$ anlamina gelir.
Kanıtta şunu kullanabilirsin:
$R$ bir tamlık bölgesidir ancak ve ancak $ \forall a \neq 0, b,c \in R,$ $ab=ac \implies b=c$ sağlanıyorsa.