EVERYTHING that is in motion must be moved by something. For if it has not the source of its motion in itself it is evident that it is moved by something other than itself, for there must be something else that moves it. If on the other hand it has the source of its motion in itself, let AB be taken to represent that which is in motion essentially of itself and not in virtue of the fact that something belonging to it is in motion. Now in the first place to assume that AB, because it is in motion as a whole and is not moved by anything external to itself, is therefore moved by itself-this is just as if, supposing that KL is moving LM and is also itself in motion, we were to deny that KM is moved by anything on the ground that it is not evident which is the part that is moving it and which the part that is moved. In the second place that which is in motion without being moved by anything does not necessarily cease from its motion because something else is at rest, but a thing must be moved by something if the fact of something else having ceased from its motion causes it to be at rest. Thus, if this is accepted, everything that is in motion must be moved by something. For AB, which has been taken to represent that which is in motion, must be divisible since everything that is in motion is divisible. Let it be divided, then, at G. Now if GB is not in motion, then AB will not be in motion: for if it is, it is clear that AG would be in motion while BG is at rest, and thus AB cannot be in motion essentially and primarily. But ex hypothesi AB is in motion essentially and primarily. Therefore if GB is not in motion AB will be at rest. But we have agreed that that which is at rest if something else is not in motion must be moved by something. Consequently, everything that is in motion must be moved by something: for that which is in motion will always be divisible, and if a part of it is not in motion the whole must be at rest.