b) ggT(m, n) = 1 sagt nur, dass m und n außer 1 keinen gemeinsamen Teiler (also auch keinen gemeinsamen Primfaktor in der Primfaktorzerlegung (PFZ) haben.
m|a ∧ n|a ⇒ mn|a ist dann aber trotzdem wahr.
m|a ∧ n|a ⇔ "Die PFZ von n und m kommen jeweils als Teilprodukte in der PFZ von a vor"
Wenn m und n keinen gemeinsamen Teiler haben, kommt aber auch die PFZ von mn in der PFZ von a als Teilprodukt vor -> mn | a
Gruß Wolfgang