| #### 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. ####  |