A を m×n 行列とする。
x ∈ R^n とする。

(A^T * A) * x = 0 ⇒ A * x = 0

を証明せよ。