Verified answer

Окружность называется описанной около многоугольника, если все вершины многоугольника лежат на окружности.

Такой многоугольник называется вписанным в окружность.

Свойство четырехугольника, вписанного в окружность:

В любом четырехугольнике, вписанном в окружность, сумма противолежащих углов равна 180°.