What is needed is a homely experiment which could be carried out in the basement with parts from an old sewing machine and an Ingersoll watch, with a… - Howard P. Robertson

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 <math>K < 0</math>. 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.

[O]nly in a homogeneous and isotropic space can the traditional concept of a rigid body be maintained.

Measurements which may be made on the surface of the earth... is an example of a 2-dimensional congruence space of positive curvature <math>K = \frac{1}{R^2}</math>... [C]onsider... a "small circle" of radius <math>r</math> (measured on the surface!)... its perimeter <math>L</math> and area <math>A</math>... are clearly less than the corresponding measures <math>2\pi r</math> and <math>\pi r^2</math>... in the Euclidean plane. ...for sufficiently small <math>r</math> (i.e., small compared with <math>R</math>) these quantities on the sphere are given by 1):<math>L = 2 \pi r (1 - \frac{Kr^2}{6} + ...)</math>,
<math>A = \pi r^2 (1 - \frac{Kr^2}{12} + ...)</math>