Using Geogebra to Rotate a polygon triangle about a line