Вопросы к Поиску с Алисой
Доказательство обратного утверждения может быть сложнее доказательства прямого, потому что для его обоснования могут потребоваться более сложные рассуждения и дополнительные доказательства. ru.wikipedia.org ru.ruwiki.ru
Например, теорема о четырёх вершинах была доказана в 1912 году, а её обратная — только в 1998 году. ru.wikipedia.org