Dimension and Basis of Tensor Product