  It is a result of this construction that although every vector in \(H_A \otimes H_B\) is a linear sum of vectors expressible in the form \(v^A \otimes u^B\), not every vector in the space is itself expressible in that form, and it turns out that 