Entonces, hay una única función f: Z → X tal que pr ◦ f = f (*).