The value of the intrinsic approach is especially apparent in considering 3-dimensional congruence spaces... The intrinsic geometry of such a space o… - 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.

The search for the curvature <math>K</math> indicates that, after making all known corrections, the number N seems to increase faster with <math>d</math> than the third power, which would be expected in a Euclidean space, hence <math>K</math> is positive. The space implied thereby is therefore bounded, of finite total volume, and of a present "radius of curvature" <math>R = \frac{1}{K^\frac{1}{2}}</math> which is found to be of the order of 500 million light years. Other observations, on the "red shift" of light from these distant objects, enable us to conclude with perhaps more assurance that this radius is increasing...

This... is an outrageously over-simplified account of the assumptions and procedures...