Proposición (Propiedad Universal del Producto Topológico)