Mean-value_theorem loading ...