Como formula_129 es biyectiva, formula_156, luego formula_157 es un punto de la línea formula_158.