Следующая теорема дает необходимые и достаточные условия для выполнения этого условия всюду и соответственно для глобального агрегирования предпочтений.