最後のここがわからないですハイ
a+bとabが公約数p>0(pは素数)を持つ
⇔aとbは公約数p>0(pは素数)を持つ