4 1 deBruijn vanAardenneEhrenfest Smith Tutte BEST