線形方程式系の解の一意性と無限個の解が存在するための条件