基底 (線型代数学)
a1, ..., an ∈ F に対して a1v1 + ... + anvn = 0 が成り立つならば、a1 = ... = an = 0 でなければならない。