Algebra Tensor Product Is Well-Defined