Thus, P {\displaystyle P} can be covered by k {\displaystyle k} disjoint chains, as required.
Таким образом, M {\displaystyle M} можно покрыть k {\displaystyle k} непересекающимися цепями, что и требовалось.