https://5dok.net/document/wq24n9jy-van-der-waerden-conjecture-proofs-year.html