Bizonyítás
Tegyük fel, hogy egy prímtulajdonságú elem -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:
Mivel prímtulajdonságú elem, ezért egyrészt a 16.13. Definíció miatt , másrészt teljesül az alábbi oszthatóság is:
Ekkor azonban alkalmazható a 16.2. Tétel 2. pontja, amely alapján egységelemes.
∎