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