Van der Waerden's conjecture