というユニタリ変換が存在する。