Tensor product
テンソル積の定義より、波動関数formula_68は