For this, to draw a right line from every point, to every point, follows the definition, which says, that a line is the flux of a point, and a right line an indeclinable and inflexible flow.
Book III. Concerning Petitions and Axioms. - The Philosophical and Mathematical Commentaries of Proclus on the First Book of Euclid's Elements Vol. 2 (1789)