Что называют теоремой?
Если человек обнаружил в математике какую-нибудь закономерность, позволяющую быстро решить ту или иную задачу, то ему не следует говорить о том, что он сделал открытие. Потому что может случиться так, что эта закономерность работает только для определённых случаев, а для других не работает или вовсе решает задачу неправильно.
Чтобы поделиться своим открытием с другими людьми, найденную закономерность следует сформулировать в виде утверждения, а затем доказать это утверждение, приводя неоспоримые факты.
Сформулированное утверждение называют теоремой. А доказательство теоремы состоит из фактов, логических рассуждений и вычислений, которые не оспариваются.
Например, теоремой можно назвать следующее утверждение:
«Если числитель и знаменатель обыкновенной дроби умнóжить на какое-нибудь число, то значение данной дроби не измéнится».
А затем привести такое доказательство:
Пусть, имеется дробь 
. Умнóжим числитель и знаменатель этой дроби на число с. Тогда полýчится дробь 
. Докáжем, что дроби и равны. То есть докажем, что равенство 
является верным.
Для доказательства этого равенства воспользуемся основным свойством пропорции:
От перестановки мест сомножителей произведение не меняется. Поэтому в получившемся равенстве можно упорядочить правую часть по алфавиту:
Поскольку равенство является пропорцией, а пропорция это равенство двух отношений, то дроби и 
равны. Теорема доказана.