>>929 積分の定義以外はわかる。