The distance between two points and is given by , where and are the edgepoints of the line joining them.

To prove the second property, note that interchanging and in the formula replaces the cross ratio by its reciprocal and the logarithm by its negative. The absolute value ensures that the end result is the same: .