定理が成立するとき、すべてのブラベクトルformula_9には対応するケットベクトルformula_10が存在し、その対応は明らかなものである。