Суть обратной теоремы заключается в том, что условием в ней служит заключение исходной (прямой) теоремы, а заключение — условием. 13

Обратной к обратной теореме является исходная (прямая) теорема. 1 Справедливость обеих взаимно обратных теорем означает, что выполнение условия любой из них необходимо и достаточно для справедливости заключения. 3