Demostración proposicion XXX Euclídes, GeoGebra