復習（修正と加筆） のシルベスター条件とはについて を満たすこと。 最後のについてはグラミアンがゼロであってもよい。は常に直交かつ一次独立と見なしたいからである。 このとき以下が成り立つ。 補題 ベクトルの組はシルベスター条件を満たすとする。こ…