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