13. Antes de cada "sendo movido" existe um "tendo sido movido". Primeira demonstração.

[Sobre o significado de "tendo sido movido", veja-se um dos comentários precedentes. A seguir, temos a primeira demonstração de que antes de cada "sendo movido" existe um "tendo sido movido"].

Suponha que um corpo móvel seja movido através de uma magnitude JK no tempo primário VQ.

Um outro corpo móvel, de velocidade igual, e que começou a ser movido simultaneamente com o primeiro, será movido através da metade desta magnitude na metade do tempo.

E já que o primeiro corpo móvel apresenta a mesma velocidade, ele percorrerá parte de JK em parte de tempo VQ.

Daqui se segue que o que está sendo movido [estava numa situação de "tendo sido movido"] previamente.

[Santo Tomás comenta, a respeito do significado de "tendo sido movido" e desta demonstração, que] "tendo sido movido" é o término de um movimento da mesma maneira em que um ponto é dito término de uma linha.

Assim como em qualquer linha ou parte de uma linha, antes que toda esta linha ou parte dela termine, existe algum ponto em relação ao qual a linha é divivida, antes de cada movimento, ou cada parte do movimento, existe algo [que está em situação de] "tendo sido mudado".

Além disso, um ponto dentro de uma linha está em potência antes que a linha seja divida, mas está em ato quando a linha foi dividida.

Da mesma maneira, aquilo que se chama "tendo sido mudado" dentro de um movimento está em potência quando o movimento não terminou ali [em ato].

Mas o "tendo sido movido" está em ato se o movimento de fato terminou ali.

E já que aquilo que está em ato é melhor conhecido do que aquilo que está em potência, Aristóteles prova que aquilo que está continuamente sendo movido já estava [em situação de] "tendo sido movido", por meio de um outro objeto móvel de igual velocidade cujo movimento já estava terminado.

Trata-se de algo equivalente a provar que em uma linha existe um ponto em potência por meio de uma outra linha de mesma natureza, mas dividida em ato.