设线性方程组的方程个数为X,未知数的个数为Y,在一般情况下,当XY时无解,这是个什么定理?