A を m×n 行列とする。
rank(A) = n とする。

このとき、 A^T * A は正則行列であることを示せ。