20.4 Redeneren met de afgeleide