L'énoncé selon lequel toute application continue f de la n-sphère S^n dans l'espace euclidien R^n envoie une paire de points antipodaux x et −x sur le même point image : f(x)=f(−x).
Énoncé de topologie algébrique : toute application continue de la n‑sphère S^n dans l'espace euclidien R^n identifie au moins une paire de points antipodaux, c'est‑à‑dire qu'il existe x dans S^n tel que f(x)=f(−x).