Mean value theorem (source code)

= Mean value theorem
{wiki}