Clearly.
And has not-being also, if it is not?
Of course.
But can anything which is in a certain state not be in that state without changing?
Impossible.
Then everything which is and is not in a certain state, implies change?
Certainly.
And change is motion—we may say that?
Yes, motion.
And the one has been proved both to be and not to be?