任意のn次正方行列Aは，コレスキー分解により，任意のn次正方行列Cを用いて
A = C^T C と分けられます（^Tは転置）が，

「Cが正則である」ことが，「Aが正定である」ことの
必要十分条件になり得るのはどうしてなのでしょうか？

線形代数に関する書物をいくつか漁ってみましたが，
↑のことが定義として書かれているだけで，説明されているものはありませんでした．

よろしくお願いします．