A simpler proof considering only 633 configurations was given twenty years later by Robertson, Seymour, Sanders and Thomas.
Prostszy dowów zważający na tylko 633 kombinacje został podany dwadzieścia lat później przez Robertsona, Seymoura, Sandersa oraz Thomasa.