若 $A$ 为 $n\times n$ 的矩阵，$x$ 为 $n\times 1$ 的矩阵

求证：$\det(A) = 0$ 时方程 $Ax=\vec 0$ 存在非零解 $x$。