Geogebra file
bewijsinproduct.ggb