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.)