Теорема о существовании и единственности набора элементов множества