La preuve utilise le lemme combinatoire de Sperner. Elle est beaucoup trop longue mais on peut aisément admettre de grosses parties selon les leçons pour rendre la démonstration calibrée en 15 minutes. Il y a plusieurs énoncés possibles pour la même démarche, libre à chacun également d'adapter l'énoncé au plan.