В чем особенности доказательства обратных теорем?

Особенности доказательства обратных теорем:

• Обратная теорема может не быть истинной, даже если прямая теорема верна. ru.wikipedia.org Например, теорема «вертикальные углы равны» верна, но обратное к ней утверждение «если углы равны, то они вертикальные», вообще говоря, неверно. ru.wikipedia.org
• Для доказательства обратной теоремы могут оказаться недостаточными средства, используемые при доказательстве прямой теоремы. bigenc.ru Например, обратная теорема основывается на евклидовой аксиоме о параллельных, тогда как для доказательства прямой эта аксиома не нужна. bigenc.ru
• Даже если обратное утверждение истинно, то его доказательство может быть гораздо сложнее доказательства прямого. ru.wikipedia.org Например, теорема о четырёх вершинах была доказана в 1912 году, а её обратная — только в 1998 году. ru.wikipedia.org
• Для доказательства обратных теорем используют аксиомы, определения и уже доказанные свойства фигур. infourok.ru Также применяют метод «доказательства от противного», заменяя доказательство прямой теоремы доказательством теоремы, противоположной к обратной. bigenc.ru infourok.ru