Bizonyítás

Tegyük fel, hogy pp egy prímtulajdonságú elem RR-ben. Az oszthatóság tulajdonságairól szóló 16.2. Tétel 7. pontja miatt teljesül az alábbi oszthatóság:

pppp|p\cdot p

Mivel pp prímtulajdonságú elem, ezért egyrészt a 16.13. Definíció miatt p0p\neq 0, másrészt teljesül az alábbi oszthatóság is:

ppp|p

Ekkor azonban alkalmazható a 16.2. Tétel 2. pontja, amely alapján RR egységelemes.