(ver teorema 5)
Existe uma função bijectiva
Traçar uma recta entre os pontos e
Existe uma função bijectiva .
(é bijectiva pois tem função inversa definida no conjunto — )
Então é bijectiva.
Então