>>290
(1) (b, c) はbとcの(最大)公約数だからacとbの公約数
(2) 上と同じように
(3) (a, b) = 1、だからaとbに共通な素因数はない、acとbcの最大公約数は(ry
(4) (2)と(3)からd|c、d|bとあわせて
(5) わかるでしょ?