construction of angle sum property of triangle by GeoGebra