Let be irreducible which is not real and not an associate of . Prove that if and , then .
Since , we have . Note that conjugation preserves products and has order 2; thus . Since and is irreducible, either or . In the first case, since is not real, by this previous exercise, is an associate of , a contradiction. So . Thus divides .