$Ar(S)=\{r\in R\mid \forall a\in S,~~ ar=0_{R}\}$.
1- $0_{R}\in R$ olmak üzere $\forall a\in S$ için $a0_{R}=0_{R}$ olup $0_{R}\in Ar(S)$ elde edilir. Yani $Ar(S)\neq \emptyset$.
2-$x,y\in Ar(S)$ olsun. $a\in S$ için $a(x-y)=ax-ay=0_{R}-0_{R}=0_{R}$, buradan $x-y\in Ar(S)$ elde edilir.
3-$\forall s\in R$, $\forall x\in Ar(S)$ için $xs\in Ar(S)$ midir? $a\in S$ olmak üzere $a(xs)=(ax)s=0_{R}s=0_{R}$.