Es sei R {\displaystyle {}R} ein Hauptidealbereich und a , b , c ∈ R {\displaystyle {}a,b,c\in R} . Es seien a {\displaystyle {}a} und b {\displaystyle {}b} teilerfremd und a {\displaystyle {}a} teile das Produkt b c {\displaystyle {}bc} .
Dann teilt a {\displaystyle {}a} den Faktor c {\displaystyle {}c} .
