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

For the third property, we use our earlier observation that the cross ratio of cyclically ordered points is greater than (and its logarithm therefore positive). Name the edgepoints and so that , , , and are cyclically ordered; then (dropping the now unnecesary absolute values)