>>274
で、それが関数を定義したことになっているのを講義では証明してないの?