Với mỗi số nguyên dương x, ký hiệu v2(x) là số nguyên không âm y lớn nhất sao cho x chia hết cho 2y.
Cho 100 số nguyên dương đôi một khác nhau a1,a2,…,a100. Gọi S là tập hợp tất cả số nguyên không âm m sao cho tồn tại i∈{1;2;…;100} để m=v2(ai).
Chứng minh rằng S={0;1;2;…;99} khi và chỉ khi với mỗi số nguyên k, tồn tại các số b1,b2,…,b100 thuộc tập hợp {0;1} sao cho
k≡b1a1+b2a2+⋯+b100a100(mod2100).