Hey Jesco,
versuche es mal so:
a|c => Es existiert ein ganzzahliges m mit am=c. Außerdem teilt b|c, also auch b|am, da a und b teilerfremd sind, ergibt sich sofort b|m. Vielleicht reicht dir dieser Gedankenanstoß schon aus, falls nicht:
[spoiler]
=> Es existiert ein ganzzahliges n mit bn=m
=> c=am=abn => ab|c
[/spoiler]
Grüße