Sākums
Ja daļēji sakārtota kopa satur \(m \cdot n + 1\) elementus, tad tajā var atrast vai nu ķēdi, kuras garums ir \(m + 1\), vai antiķēdi, kuras garums ir \(n + 1\) (un citi radniecīgi rezultāti).