Proof of Interior Extremum Theorem