>>136
∫[-∞, x]f(t)dt = ∫[-∞, a] f(t)dt (←定数) + ∫[a, x,] f(t)dt