Какое название имеет теорема, в которой условием является заключение, а заключением является условие данной теоремы?

Если условием теоремы становится ее заключение и наоборот, заключением является условие данной теоремы, то такая теорема имеет название обратной. Исходя из этого, можно сделать вывод, что обратные теоремы являются взаимно обратными. Например, обратными будут следующие теоремы: "если в треугольнике два угла одинаковые, то и одинаковыми будут их биссектрисы" и "если две биссектрисы в треугольнике одинаковые, то и одинаковыми будут углы, которые им соответствуют".