>>896
1≦t≦n−1を満たす異なる整数tがn個未満だから。
つまり、割り切れない割り算を続けていくと、
何回か前と同じ数字を割るという繰り返しになる。