Az 1. tulajdonság esetén tehát az a kiindulási feltételünk, hogy 0\leq a. Mivel a \leq reláció kompatibilis az összeadással, ezért mindkét oldalhoz a ellentettjét adva – amely a 3. gyűrűaxióma miatt létezik – továbbra is érvényes egyenlőtlenséget kapunk:

0+(-a)\leq a+(-a)

Mivel 0 a gyűrű nulleleme, ezért a baloldali összegből őt elhagyhatjuk, a jobboldali összeg pedig épp a nullelemmel lesz egyenlő. Így tulajdonképpen megkapjuk az 1. állítást:

(-a)\leq 0

A 2. tulajdonság esetén a kiindulási feltételünk az, hogy ac\leq bc. Mivel a \leq reláció kompatibilis az összeadással, ezért mindkét oldalhoz jobbról -(ac)-t, balról pedig -(bc)-t adva továbbra is érvényes egyenlőtlenséget kapunk:

(-(bc))+\underbrace{ac+(-(ac))}_{=0}\leq \underbrace{(-(bc))+bc}_{=0}+(-(ac))

Mindkét oldalon a két egymásnak ellentett tag kiejti egymást, így ezt kapjuk:

-(bc)\leq -(ac)

Ez viszont a 15.1. Tétel 3. pontja miatt így is írható, megkapva ezzel a 2. állítást:

b(-c)\leq a(-c)

Végül a 3. tulajdonság ugyanilyen módon igazolható, csak ekkor a kiindulási feltétel mindkét oldalához -(ca)-t és -(cb)-t kell adni.