TT^*が正定値なことを示せば√(TT^*)も当然正定値だし正則。
TT^*が正定値なのは定義に基づいて簡単に確かめられる。