If A is subsequently found to be at rest, this rest cannot be the result of A's previous motion, for such motion can only have led to continued motion; the state of rest therefore must have resulted from something, which was not in, namely, from an external cause determining A to a state of rest.