Un test di esportazione del procedimento costruttivo in GeoGebra.