Das topologische Werkzeug, welches in deren Beweis die entscheidende Rolle gespielt hat, geht im Wesentlichen auf einen Satz von Dold zurück, der eine Verallgemeinerung des Satzes von Borsuk-Ulam ist.