n*n行列Aの固有値0の重解度とNull(A)って一致しますか？
直感的には一致すると思いますが、証明がどうにもできないんです。