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