D&S 第5章3節
10 補題
g,f_1,…,f_nを線型空間Χ上のn+1個の線型汎関数とし、かつf_i(x)=0,i=1,,,nならばg(x)=0となるとき、このときgはf_iの線型結合となる。

証明はH.Bの定理とハメル基底の補題を使う