16.12. Tétel
Egységtényező nullosztómentes esetben
Legyenek a, b és c egy integritástartomány valamely elemei, amelyekre teljesülnek az alábbiak:
\begin{aligned}
a&\neq 0 \\
a&=b\cdot c
\end{aligned}
Ebben az esetben b akkor és csak akkor egység, ha c az a-nak asszociáltja, azaz a\sim c.
♣