Geogebra file bewijsinproduct2.ggb