Given that the state $|\mathrm{AB}\rangle$ of a compound system can be written as a product $|\mathrm{A}\rangle|\mathrm{B}\rangle$ of states of the individual systems, show that when $|\mathrm{AB}\rangle$ is written as $\sum_{i j} c_{i j}|\mathrm{~A} ; i\rangle|\mathrm{B} ; j\rangle$ in terms of arbitrary basis vectors for the subsystems, every column of the matrix $c_{i j}$ is a multiple of the leftmost column.