>27,29,329
　ａ_k↑ = Σ[i=1,n] a_(k,i)ｅ_i↑ とする。
　[28]に従い、掃出し法を使う。

　第1成分 a_(1,1)〜a_(n,1) の中に0でないものがあれば、その1つａ_p↑ を選び、
　ａ'_k↑ = a_k↑ - {a_(k,1)/a_(p,1)}ａ_p↑　(k≠p）とおく。
　a_p↑を除外する。
　残りのn個については a'(k,1)=0 だから Ｒ^(n-1)に含まれる。
　以下、同様に掃出し法で次数を下げる。
　最後の１個はＲ^0 の要素、すなわち0↑ となる。
　以上を逆にたどれば ａ_1↑〜a_{n+1}↑ の斉一次の関係式が出る。