Click on Construction protocol in Geogebra to open the resource.