Considerando la línea que conecta formula_25 y formula_26 en un instante arbitrario (línea roja), es posible demostrar que "la línea es en cualquier momento tangente en formula_26 al arco inferior y ortogonal a la tangente en formula_25 del arco superior".