推导的前提是运动即本质，然而两者是必要不充分的。