>>324
行列Aが逆行列をもたないなら、適当なベクトルa↑≠0↑があって、A(a↑)=0↑となる。