>>539
n個の未知数のn個の連立方程式が独立ならば、解は有限個ということ?