Für eine nat. Zahl \(n>0\) und eine Primzahl \(p\) bezeichne
\(v_p(n)\) den Exponenten von \(p\) in der Primfaktorzerlegung von \(n\).
Für jede Primzahl \(p\) gilt dann wegen der jeweilig eindeutigen
Primfaktorzerlegung:
\(v_p(ggT(a,bc))=\min\{v_p(a),v_p(bc)\}=\min\{v_p(a),v_p(b)+v_p(c)\}\).
Wegen \(ggT(b,c)=1\) gilt \(v_p(b)=0\; \vee \; v_p(c)=0\)
Fall 1: \(v_p(b)=0\): \(v_p(ggT(a,bc))=\min\{v_p(a),v_p(c)\}=v_p(c)\),
da \(a\; | \; c\).
Fall 2: \(v_p(c)=0\). liefert \(v_p(ggT(a,bc))=v_p(ggT(a,b))\).
Hieraus ergibt sich die Behauptung.