O. Zohar, “Random Van der Waerden Theorem”, Electron. J. Combin., vol. 29, no. 1, p. P1.22, Jan. 2022.