展开 解空间的维数定理