Dla jakich \(\displaystyle{ n, k }\) gdzie \(\displaystyle{ k<n}\) można zbiór \(\displaystyle{ \{ 1,... , n \}}\) rozdzielić na \(\displaystyle{ k}\) podzbiorów o równej sumie elementów
\(\displaystyle{ k}\) musi być dzielnikiem \(\displaystyle{ \frac{n(n+1)}{2} }\), przy czym \(\displaystyle{ k \le \frac{n+1}{2} }\) (aby suma elementów w zbiorze nie była mniejsza od elementu największego, czyli \(\displaystyle{ n}\))