互いに素である条件に反して不合理である。証明に移る前に....以下の説明は蛇足という気もするが、具体例を挙げて概念の確認をしておく。互いに素であるものがいくつあるかを表す。最大公約数を求めることで解決する。あることに他ならない。(ユークリッドの互除法とはまさにこの最大公約数を求める方法であった。ついては以下のようになる。(さらに蛇足であるが、右の表を参考にされ752たし。証明それでは一つの目標を達成しよう。