定理． とする． をの最大公約数，をの最小公倍数とする． このとき，が成り立つ．□（証明） はの最大公約数であるから，互いに素であるを用いて および と表せる．またはの最小公倍数なので かつ と表せる．つまりで，両辺を で約分するとが成り立つ． とは…