Interior_extremum_theorem loading ...