が
と
の最小公倍数であるとする。このとき,
となるような
が存在する。したがって,任意の
の元
に対して
かつ
であるから,
。よって,
である。また,任意に
をとれば,
となるような,
が存在するから,
は
の公倍数である。よって,
は
で割り切れるので,
となる
が存在するから,
である。よって
であり,
である。逆に,
であるとする。このとき,
であるから,
は
の公倍数である。したがって,
の公倍数が
がすべて
で割り切れることを示せばよい。
は
の公倍数であるから,
となるような,
が存在するので,
である。今,
であるから,
なので,
となるような
が存在するから,
は
で割り切れる。したがって,
は
の最小公倍数である。
が
と
の公約数ならば,
であることを示せばよい。
とおく。このとき,
は
の公倍数であるから,
は最小公倍数
で割り切れる。そこで,
とおけば,
となる。
は整域であるから,
となり,
である。