Add mean value theorem