「線形」の定義(=加法的かつ斉次的)を示したらそれで終わりじゃね?