pとqの最大公約数をdと置いたら
p=ad
q=bd
a,bは互いに素
この条件で、dを割り切れない公約数d'が存在すると仮定したら矛盾が生じる