Есть такая теорема: если отрезок АВ виден из точек С и D, лежащих по одну сторону от прямой АВ, под одним и тем же углом, то точки А, В, С, D лежат на одной окружности. Что значит "отрезок AB виден"? При каких условиях эта теорема работает, а при каких нет?