变分运算和求导运算在等时变分情况下可以対易。