Доказательство математической теоремы - это логический аргумент, демонстрирующий, что выводы являются необходимым следствием гипотез в том смысле, что если гипотезы верны, то выводы также должны быть верными, без каких-либо дополнительных предположений.
Теорема, которую кто-то должен доказать, чтобы доказать другую теорему, называется леммой.