(a)⇒(b)
Sei s ein beliebiges Element von S. Da 1/s=0/s=0 in RS existiert nach Definition ein t in S mit ts=0.
Da S multiplikativ abgeschlossen ist, ist 0 in S.
(b)⇒(a)
Es ist t/s=u/v für alle t,u in R und s,v in V da 0(tv-su)=0.
RS hat also nur ein Element und ist damit der Nullring.