Dimostrazione
Segue che, essendo a è irriducibile, b oppure q risultano essere un’unità e quindi o b è un’unità oppure,
se qqq è un’unità, b è associato ad a. (c.v.d.)