非自明解を持たないというのは，すなわち
係数行列Aのｎ個の列ベクトルが線型独立だということ