, that some one has defined a finite straight line as the limit of a finite plane, such that its centre is in a line with its extremes; if now the account of a finite line is the limit of a finite plane, the rest (viz. '