f(n) = (5n + 1) % 2^k, 如何證明數列 f(n), f(f(n)), ... f^(2^k)(n) 能不重覆地產生 0 ~ 2^k - 1 的數字? 要會證這類問題, 和什麼領域有關呢?