Entonces, hay una única función continua f: Z → ∏ X tal que pr o f = f, para todo i.