Let be distinct points. Because sharply triply transitively, there exists a unique such that

The cross-ratio is defined as

Note that we saw that can be computed by

by the proof of Lemma 5.8.