8.1.0 イントロ
“量の系の準同型”が比例関数の意義であることを確認しよう。