Пусть — различные элементы некоторой последовательности. Если в последовательности всего элемент, и сумма всех элементов не лежит в то удаление любого элемента даст -элементную последовательность с ненулевой суммой. Если же в последовательности не менее элементов, то отбросим лишние, чтобы осталось ровно элемента, среди которых содержится все множество Пусть сумма этих элементов равна В множестве нетрудно подобрать два элемента и с суммой Отбрасывая их, получаем -элементную последовательность с нулевой суммой.