Sea formula_15 un punto de la línea formula_81, entonces formula_161, lo que prueba que formula_162.