it necessarily follows that the quicker of two things traverses a greater magnitude in an equal time, an equal magnitude in less time, and a greater magnitude in less time, in conformity with the definition sometimes given of the quicker.