>>310
dがGの最小の要素なので、(A)の条件から、
｛kd｜kは自然数｝⊂G　・・・(1)
てのはおｋ？

それでG≠｛kd｜kは自然数｝と仮定。
すると、Gの要素で
ad+b (aは自然数定数、bは自然数で 1≦b≦d-1)
となるものが存在する。
(1)より、 ad∈G
(B)の条件から、(ad+b)-ad=b∈G
だけど、
b≦d-1＜d
でdの最小性に矛盾。
よってG=｛kd｜kは自然数｝