Secant line point a "tangent line" and in no points an "exterior line". A "chord" of a circle is the line segment that joins two distinct points of the circle. A chord is therefore contained in a unique secant line and each secant line determines a unique chord. In rigorous modern treatments of plane geometry, results that seem obvious and were assumed (without statement) by Euclid in his treatment, are usually proved. For instance, "Theorem (Elementary Circular Continuity)": If formula_1 is a circle and formula_2 a line that contains a point that is inside formula_1 and a point that is outside of
Fife Circle Line line from Inverkeithing that loops back round to Kirkcaldy by an inland route via Cowdenbeath through the old Fife coalfield. Narrowly speaking, just this line could be called the Fife Circle. The current service is actually a combination of two previously separate local routes - Edinburgh to Kirkcaldy & Edinburgh to & . During the 1970s & 80s British Rail only ran a regular daytime service on the Dunfermline line as far as Cowdenbeath; & Cardenden were only served during the weekday business peaks (as can be seen from Table 242 of the UK All Line timetable of that era),