Mean value theorem with GeoGebra.