The existence of this morphism is a consequence of the universal property that characterizes the product (up to isomorphism).
The existence of this morphism is a consequence of the universal property that defines the product (up to isomorphism).