Теорема о существовании и единственности пересечения элементов множества по множеству функцией