Обратной данной, называется теорема, в которой:

• условие и заключение являются обратными
• теорема доказывается методом от противного
• условием является заключение данной теоремы, а заключением — условие данной теоремы
• доказывается, что такого быть не может