柯西-達文波特定理

設 為一個 非負整數，並設 , ..., 為 的非零元素，它們不一定互不相同。那麼，可以寫成 的元素數量，即為 的某個 子集（可能為空集）的和，至少為 。特別地，如果 ，那麼 的每個元素都可以這樣寫成。