Да, такая теорема существует и называется теоремой о хордах. Она гласит, что если две хорды в одной окружности пересекаются внутри круга, то произведение длин отрезков каждой хорды равно. Иными словами, длины хорд обратно пропорциональны их расстояниям до центра окружности.

Эта теорема может использоваться для решения задач, подобных тем, с которыми вы столкнулись при решении задач по ОГЭ.