Uniqueness of Tensor Product