とする．定理． が成立する．（証明） （は互い素）とする． このときであるからとなる． よってとなる．（証明終）この定理を眺めると，最小公倍数を求める手順に次のようなものがあることに気がつく． 1．ユークリッドの互除法でを求める． 2．をで割り，2…