Van der Linden van der Linder Van der Linden, Vanderlinden Van der Heijden VanderLinden Elly van der Linden Van der waerden Lea van der Vinde van der Waerden猜想