vander waerdens theorem