У тезах запропоновано доведення необхідності та достатності нерівностей Белла як критерія нелокальності, спираючись на лему Фаркаша. Виконано порівняння даного підходу із загальноприйнятим, що ґрунтується на застосуванні теорії лінійного програмування.
