(1) (b, c) はacとbの公約数
(2) dはacとbcの公約数
(3) (a, b) = 1、だから
(4) (2)と(3)から
(5) (1)と(4)から