Es decir, existirá algún entero no negativo formula_2 de manera que formula_3 (donde formula_4 representa la relación “ser homeomorfo a”).