Это теорема, в которой заключение является условием, а условие -заключением.
Пример: если треугольник равнобедренный, то углы при основании равны. и обратно если углы при основании равны, то треугольник равнобедренный.
