La afirmación de que toda aplicación continua f desde la n-esfera S^n al espacio euclidiano R^n lleva alguna pareja de puntos antipodales x y −x al mismo punto de imagen: f(x)=f(−x).
Teorema de topología algebraica: toda aplicación continua de la n‑esfera S^n al espacio euclidiano R^n identifica al menos un par de puntos antipodales, es decir, existe x∈S^n con f(x)=f(−x).