Let be an integral domain and let . Prove that if and only if for some unit .
Suppose . Then , and we have for some element . Similarly, and we have for some element . Now , and since is a domain, we have . Thus is a unit.
Suppose where is a unit. Then we have ; note that by Proposition 9 in the text.