Luego, por la proposición citada, g : X/f → S es un homeomorfismo.