Quando creo una direzione (retta), implicitamente definisco anche un segmento.
Fix: i nomi delle rette sono in minuscolo.
Alcuni metodi per trovare item nel problema.
Comando “apply theorem-name on item1, item2” per applicare i teoremi su coppie di oggetti del problema.
Il test della dsl e il demo dell’applicazione fx estendono il problema applicando il teorema 10.8 (angoli uguali opposti al vertice).