Jeżeli \(\displaystyle{ X=X_1 \cup ... \cup X_t}\), to dla pewnego \(\displaystyle{ i \in {1,2,...,t}}\) zachodzi \(\displaystyle{ |X_i| \ge \left[ \frac{|X|}{t} \right]}\) (przez [a] oznaczam tu "sufit" z liczby a, tzn. najmniejszą liczbę całkowitą \(\displaystyle{ \ge a}\))
jest równoważna zasadzie podziałowej:
Niech \(\displaystyle{ m_1, m_2, ..., m_t}\) będzie ciągiem liczb naturalnych. Jeżeli \(\displaystyle{ X=X_1 \cup ... \cup X_t}\) oraz \(\displaystyle{ |X| \ge \left( \sum_{i=1}^{t} m_i\right) -t + 1}\), to dla pewnego \(\displaystyle{ i \in {1,2,...,t}}\) zachodzi \(\displaystyle{ |X_i| \ge m_i}\)
