Por consiguiente, todo lo que está en movimiento tiene que ser movido por algo; porque lo que está en movimiento siempre será divisible, y si una de sus partes no estuviese en movimiento, el todo tendrá que estar en reposo.50 Y puesto que todo lo que está en movimiento tiene que ser movido por algo607, si una cosa es 606 3 Cf. 240b8-241a26. 607 4 En lo que sigue se argumenta mediante una reductio ad movida con movimiento local por otra que está en movimiento, y ésta que mueve es a su vez movida por otra que está en movimiento, y esta última por otra, y así sucesivamente, tendrá que haber entonces un primer moviente608, ya que no se puede proceder hasta el infinito. Porque supongamos que no fuese así y que la serie siguiese hasta el infinito, que A sea movido por B, 55 Β por C, C por D, y que cada uno sea movido siempre por el que le es contiguo. 