子分类: 线性代数定理