that that that which is changing should be at either of the extremes.) It is evident, therefore, that everything that changes must be divisible.
Now motion is divisible in two senses. In the first place it is divisible in virtue of the time that it occupies. In the second place it is divisible according to the motions of the several parts of that which is in motion: e.g. if the whole AG is in motion, there will be a motion of AB and a motion of BG. That being so, let DE be the motion of the part AB and EZ the motion of the part BG. Then the whole DZ must be the motion of AG: for DZ must constitute the motion of AG inasmuch as DE and EZ severally constitute the motions of each of its parts. But the motion of a thing can never be constituted by the motion of something else: consequently the whole motion is the motion of the whole magnitude.
Again, since every motion is a motion of something, and the whole motion DZ is not the motion of either of the parts (for each of the parts DE, EZ is the motion of one of the parts AB, BG) or of anything else (for, the whole motion being the motion of a whole, the parts of the motion are the motions of the parts of that whole: and the parts of DZ are the motions of AB, BG and of nothing else: for, as we saw, a motion that is one cannot be the motion of more things than one): since this is so, the whole motion will be the motion of the magnitude ABG.
Again, if there is a motion of the whole other than DZ, say the the of each of the arts may be subtracted from it: and these motions will be equal to DE, EZ respectively: for the motion of that which is one must be one. So if the whole motion OI may be divided into the motions of the parts, OI will be equal to DZ: if on the other hand there is any remainder, say KI, this will be a motion of nothing: for it can be the motion neither of the whole nor of the parts (as the motion of that which is one must be one) nor of anything else: for a motion that is continuous must be the motion of things that are continuous. And the same result follows if the division of OI reveals a surplus on the side of the motions of the parts. Consequently, if this is impossible, the whole motion must be the same as and equal to DZ.
This then is what is meant by the division of motion according to the motions of the parts: and it must be applicable to everything that is divisible into parts.
Motion is also susceptible of another kind of division, that according to time. For since all motion is in time and all time is divisible, and in less time the motion is less, it follows that every motion must be divisible according to time. And since everything that is in motion is in motion in a certain sphere and for a certain time and has a motion belonging to it, it follows that the time, the motion, the being-in-motion, the thing that is in motion, and the sphere of the motion must all be susceptible of the same divisions (though spheres of motion are not all divisible in a like manner: thus quantity is essentially, quality accidentally divisible). For suppose that A is the time occupied by the motion B. Then if all the time has been occupied by the whole motion, it will take less of the motion to occupy half the time, less again to occupy a further subdivision of the time, and so on to infinity. Again, the time will be divisible similarly to the motion: for if the whole motion occupies all the time half the motion will occupy half the time, and less of the motion again will occupy less of the time.
In the same way the being-in-motion will also be divisible. For let G be the whole being-in-motion. Then the being-in-motion that corresponds to half the motion will be less than the whole being-in-motion, that which corresponds to a quarter of the motion will be less again, and so on to infinity. Moreover by setting out successively the being-in-motion corresponding to each of the two motions DG (say) and GE, we may argue that the whole being-in-motion will correspond to the whole motion (for if it were some other being-in-motion that corresponded to the whole motion, there would be more than one being-in motion corresponding to the same motion), the argument being the same as that whereby we showed that the motion of a thing is divisible into the motions of the parts of the thing: for if we take separately the being-in motion corresponding to each of the two motions, we shall see that the whole being-in motion is continuous.
The same reasoning will show the divisibility of the length, and in fact of everything that forms a sphere of change (though some of these are only accidentally divisible because that which changes is so): for the division of one term will involve the division of all. So, too, in the matter of their being finite or infinite, they will all alike be either the one or the other. And we now see that in most cases the fact that all the terms are divisible or infinite is a direct consequence of the fact that the thing that changes is divisible or infinite: for the attributes ‘divisible’ and ‘infinite’ belong in the first instance to the thing that changes. That divisibility does so we have already shown: that infinity does so will be made clear in what follows?
<
div id="section51" class="section" title="5">
5
Since everything that changes changes from something to something, that which has changed must at the moment when it has first changed be in that to which it has changed. For that which changes retires from or leaves that from which it changes: and leaving, if not identical with changing, is at any rate a consequence of it. And if leaving is a consequence of changing, having left is a consequence of having changed: for there is a like relation between the two in each case.
One kind of change, then, being change in a relation of contradiction, where a thing has changed from not-being to being it has left not-being. Therefore it will be in being: for everything must either be or not be. It is evident, then, that in contradictory change that which has changed must be in that to which it has changed. And if this is true in this kind of change, it will be true in all other kinds as well: for in this matter what holds good in the case of one will hold good likewise in the case of the rest.
Moreover, if we take each kind of change separately, the truth of our conclusion will be equally evident, on the ground that that that which has changed must be somewhere or in something. For, since it has left that from which it has changed and must be somewhere, it must be either in that to which it has changed or in something else. If, then, that which has changed to B is in something other than B, say G, it must again be changing from G to B: for it cannot be assumed that there is no interval between G and B, since change is continuous. Thus we have the result that the thing that has changed, at the moment when it has changed, is changing to that to which it has changed, which is impossible: that which has changed, therefore, must be in that to which it has changed. So it is evident likewise that that that which has come to be, at the moment when it has come to be, will be, and that which has ceased to be will not-be: for what we have said applies universally to every kind of change, and its truth is most obvious in the case of contradictory change. It is clear, then, that that which has changed, at the moment when it has first changed, is in that to which it has changed.
We will now show that the ‘primary when’ in which that which has changed effected the completion of its change must be indivisible, where by ‘primary’ I mean possessing the characteristics in question of itself and not in virtue of the possession of them by something else belonging to it. For let AG be divisible, and let it be divided at B. If then the completion of change has been effected in AB or again in BG, AG cannot be the primary thing in which the completion of change has been effected. If, on the other hand, it has been changing in both AB and BG (for it must either have changed or be changing in each of them), it must have been changing in the whole AG: but our assumption was that AG contains only the completion of the change. It is equally impossible to suppose that one part of AG contains the process and the other the completion of the change: for then we shall have something prior to what is primary. So that in which the completion of change has been effected must be indivisible. It is also evident, therefore, that that that in which that which has ceased to be has ceased to be and that in which that which has come to be has come to be are indivisible.
But there are two senses of the expression ‘the primary when in which something has changed’. On the one hand it may mean the primary when containing the completion
