Dice que si una esfera ("n" − 1)-dimensional "S" está incrustada dentro de una esfera"n"-dimensional "S" de una manera localmente plana, entonces el par ("S", "S") es homeomórfico con el par ("S", "S"), donde "S" es el ecuador de la "n"-esfera.