AB + AC — BC

et pur conséquent le côté BC sera plus grand que chacun des deux autres.

Cela posé, supposons que dans le polygone réduit R^, les deux sommets c(.,„ et %■ tendent vers deux points fixes B' et C du plan. Les cinq sommets n^, ot.^-, ct^ , a^, «^ dont la distance à «^ est infinie, tendront vers certains points du cercle fondamental.

Si on avait:

lim a, ^ lim a.

on aurait en vertu du 2' principe