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

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