"These formulae [in (1) and (2) above] may be shown to be valid for a circle or a triangle in the hyperbolic plane... for which K < 0. Accordingly here the perimeter and area of a circle are greater, and the sum of the three angles of a triangle are less, than the corresponding quantities in the Euclidean plane. It can also be shown that each full line is of infinite length, that through a given point outside a given line an infinity of full lines may be drawn which do not meet the given line (the two lines bounding the family are said to be "parallel" to the given line), and that two full lines which meet do so in but one point."