Corolario 9.3.2 El producto topológico es único, excepto por homeomorfismo.