22的一组基（formula_26）。根据基扩充定理，formula_27可以被扩充为formula_7的一组基：formula_29。除了formula_27的formula_31个向量以外，另外的formula_32个向量formula_33是一组线性无关的向量。设formula_34是它们张成的子空间，那么formula_7是子空间formula_22与formula_34的直和：所以，按照直和的性质，有formula_39，并且这两个子空间的交集为formula_40。同时，formula_41