<正>这个证明是H. Furstenberg(1935-)给出的,载于1955年美国数学月刊,仅占■页.我们写得稍微详细一些.首先,在整数集Z中建立起拓扑,即定义开集是什么.所定义的开集应满足3个要求:1°空集?与(全空间)Z都是开集;2°任意多个开集的并为开集;3°有限多个开集的交为开集.