Сама теорема состоит из условия теоремы и её заключения.
Например: теорема Фалеса.
Если параллельные прямые пересекают стороны угла и отсекают на одной его стороне равные отрезки, то они отсекают равные отрезки и на другой его стороне.
Условие здесь: "...параллельные прямые пересекают стороны угла и отсекают на одной его стороне равные отрезки..."
Заключение: "...они отсекают равные отрезки и на другой его стороне."
Например: одна из теорем о диаметре окружности.
Диаметр окружности, перпендикулярный хорде, отличной от диаметра, делит эту хорду пополам.
Условие здесь: "диаметр окружности, перпендикулярный хорде, отличной от диаметра...".
Заключение: "...делит эту хорду пополам."
