>>309
乗法という演算が>>309のように定義されているから