Niech  oraz . Wtedy

,

,

.

Ponieważ odległości te mają tyle samo jednostek, ile wynoszą liczby  oraz , więc mamy .

Oznacza to, że możemy na naszej osi