Geogebra file inproduct.ggb