>>447
それ有名だからな。
あとb＞aを言わんと負になるぞ。

それと合同式はいつも判断が議論になるところで、
厳しいところだと使っちゃいけないといわれている。

その際は
| ∫[a〜b](x-a)(x-b)dx |
＝| [(1/2)(x-a)(x-b)^2][a〜b]−∫[a〜b](1/2)(x-b)^2dx |
＝| [(1/6)(x-b)^3][a〜b] |
＝(1/6)|a-b|^3
から証明済みに出来る。