formula_13が基底であることは、もしformula_13の元の線形結合で表せないベクトルが存在したとすると、それをbに加えればbより大きい線形独立なベクトルの集合が得られてしまうことからわかる。