Di Nasso, Mauro. “A New Ultrafilter Proof of Van Der Waerden’s Theorem”. Topology Proceedings, vol. 68, Feb. 2026, pp. 193-8, https://www.topologyproceedings.org/index.php/tp/article/view/154.