Теорема о промежуточном значении и теорема о среднем значении: мощные инструменты доказательства, вытекающие из интуитивных свойств непрерывных функций и производных