"v"("a") ＝ 0であるため、この不等式を "a" から "t" まで積分することにより