Zohar, O. Random Van Der Waerden Theorem. Electron. J. Combin. 2022, 29, P1.22.