>>36
m∈H に対し、mがnの整数倍でないとする。
互除法によれば mとnの最大公約数 d に対し
a m + b n = dとなる適当な整数 a, bが存在するから
d ∈ H
しかも
0 < d < nでありこれは nの最小性に反するしたがって、mはnの整数倍。