置換積分の証明で
lim杷(x)Δx = lim杷(φ(t))φ'(t)Δt
だから。っていうのはOKでしょうか?