Đại số, VI, p. 31
Chứng minh rằng, với mọi dãy hữu hạn (x,) (1 ≤ i ≤ n) các phần tử của một nhóm có thứ tự theo dàn G,
sup(xi)=i∑xi−i<j∑inf(xi,xj)+⋯+(−1)p+1i1<i2<...<ip∑inf(xi1,...,xip)+⋯+(−1)n+1inf(x1,...,xn).
(Lập luận bằng quy nạp dựa trên Mệnh đề 7 (VI, p. 10), sử dụng tính phân phối của sup trên inf.)