Öklid teoremi, Euclidean theorem – GeoGebra