このような状態は演算子のテンソル積および指数の定義から