设 
是在有限字母表 
上的无限词。则存在一个一致循环的无限词 
使得 
，其中 
是 
的所有有限子词的集合。
Furstenberg定理
使用 Wolfram|Alpha 探索
参考文献
Allouche, J.-P. 和 Shallit, J. 自动序列：理论、应用、推广。 英国剑桥：剑桥大学出版社，第 337 页，2003 年。在 Wolfram|Alpha 中被引用
Furstenberg定理请引用为
Weisstein, Eric W. “Furstenberg定理。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/FurstenbergsTheorem.html