基础解系都是线性无关的吗?