X.AP

)> ne s'annulant pas pour AP = o. On en déduira entre les courbures des arcs A M, AM, la relation d'équivalence

K , — K ~ ( n -+- i ) À AP ~ ( n -+- 1 ) ( A , — A ).

On voit que la distance MM,, évaluée parallèlement à la normale commune est un infiniment petit d'ordre (n -f- i); on a donc le théorème suivant :