柯西-达文波特定理

设 为一个 非负整数，并设 , ..., 为 的非零元素，它们不一定互不相同。那么，可以写成 的元素数量，即为 的某个 子集（可能为空集）的和，至少为 。特别地，如果 ，那么 的每个元素都可以这样写成。