行列 "u" と "v" はユニタリ行列だから、"u" の列ベクトル "u"1...,"um" は、体 "k""m" 上の正規直交基底を成し、"v" の列ベクトル "v"1...,"vn" は、体 "k""n" 上の正規直交基底を成す。