Elle utilise cependant l'axiome du choix.
Cet axiome, qui stipule qu'il existe toujours un ensemble non vide dans un ensemble non vide, lui permet de déduire l'existence d'un ensemble de points de départ pour son théorème. Elle peut ainsi établir une correspondance entre les points de l'espace et les él