20160516

m を 2 以上の整数とし, n_{0} を整数とする.
0 以上の k に対して n_{k+1}=n_{k}/m とすると, n_{0} が 0 でなければある整数 k が唯一存在し, n_{k} は整数かつ m の倍数でない.
n_{0} が 0 ならば, 0 以上の各整数 k に対して n_{k} は m の倍数である.