定義に従っていけば自明だと気づくさ。