"Şayet bir hareket edenin
sonsuz bir cisimde hareket etmesi mümkün olursa, sonlu bir zamanda sonsuz bir mesafeyi kat etmesi de mümkündür." Bu gereğin yüklem olarak varolması da mümkündür. Bunun örneği şudur: "Sonsuz bir cisimde hareket eden her şey, hareketiyle sonlu bir zamanda sonsuz bir mesafeyi kat eder.