En efecto, por paso al cociente de g, se tiene que la función g^* :X/g → Y es una biyección.