Uniqueness of Tensor Products Up to Unique Isomorphism