Обозначим утверждение «многоугольник является правильным» через А, утверждение «около многоугольника можно описать окружность» через В. Тогда в утверждении «около правильного многоугольника можно описать окружность» условие …
В достаточно для А
А необходимо для В
А достаточно для В
В необходимо для А