вспомогательная теорема

Ответ от Коротеев Александр[гуру]
В математике вспомогательную теорему называют леммой. Это вспомогательное утверждение или предложение, которое используется для доказательства одной или нескольких основных теорем. Сам термин имеет древнегреческое происхождение и был введен античными геометрами, особенно часто он встречался в трудах Архимеда. Важно различать лемму и аксиому. Аксиома является исходным положением, которое принимается без доказательств. Лемма же обязательно доказывается, но служит лишь промежуточным шагом на пути к получению более значимого математического результата. После того как главная теорема доказана с ее помощью, лемма полностью выполняет свою вспомогательную роль и обычно отходит на второй план.