>>463
和とスカラー積は定義されるのだから
あとはベクトル空間の定義にある条件を満たすことを
示せばいい