16.6 Redeneren met de afgeleide