すなわち、formula_3にはformula_1個の線型独立な列が含まれる。