問． が互いに素であるための必要十分条件は， が互いに素であることである．（証明） 対偶を証明する． （） 「が互いに素でないならば，は互いに素でない」を示す． が互いに素でないので，ある整数 で となるものが存在する． これよりかつと表せる． し…