If, on the other hand, the ranks of these two matrices are equal, the system must have at least one solution.
一方、それら二つの行列の階数が等しいなら、その系は少なくとも一つの解を持つ。