Континуальность множества замкнутых классов $P_{k+1}$, которые можно гомоморфно отобразить на $P_k$

Доказывается, что частично упорядоченное множество $\mathcal{L}^{k+1}_{k}$ всех замкнутых классов $(k+1)$-значной логики, которые можно гомоморфно отобразить на $k$-значную логику, имеет мощность континуума.