Applicazione "on" prende da uno a quattro parametri (da riscrivere in modo più "groovico").
Dato un angolo trova il segmento opposto.
Teorema 10.6
in triangoli uguali, a segmenti uguali corrispondono angoli opposti uguali.