Mean-value theorems (1979)