If S(t, k, n) exists, then taking all blocks containing a specific element and discarding that element gives a derived system S(t−1, k−1, n−1).
Если система S(t, k, n) существует, выбор блоков, содержащих определённый элемент и удаление этого элемента, даёт производную систему S(t−1, k−1, n−1).