Статья посвящается характеризации этапа поиска различных доказательств теоремы на примере утверждения Помпейю о среднем значении дифференцируемой функции.