Puede comprobarse por inducción que formula_80 mapea el punto formula_85 a formula_86, donde formula_87, y formula_88.