Para toda recta orientada formula_1 y para cada punto O de ella, existe una función biyectiva formula_2 → R que cumple con las siguientes propiedades: