For it must be a particular theorem, which can be deduced from the definition and easily proved, that every line each point of which is equally distant from a single one is curved (no part of it is straight).