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