Linear algebra
这是线性代数中秩-零化度定理（formula_5的形式）的一个范畴推广。