Si f : X → Y es biyectiva y continua, entonces f es un homeomorfismo.