不定积分与求导数或微分互为逆运算