・加法が定義されていること（可換、結合的、単位元・逆元、演算で閉）
・スカラー倍が定義されていること（演算で閉）
・加法とスカラー倍が両立すること（分配則二つ）

全部証明が必要だよ