2 でも 3 でも 5 でも割り切れない合成数の最小は 49 である.有限の整数からなる集合 X に対して, Y={n; n＞0 かつ n は合成数かつ X のどの元でも割り切れない} とすると, Y は空集合か, Y に最小元が存在し, Y の最小元は平方数である.

続きを読む