R係数のxに関する高々n次元の多項式全体の集合をVとする
Vはn+1次元のベクトル空間であることを示せ