О пересечении некоторых классов сводимостей

Семейства основных сводимостей табличного типа $\{tt-,l-,p-,c-,d-,b-,m-\}$ и сводимостей по перечислимости $\{e-,s-,p-,pc-,pm-,c-,d-,m-\}$ замыкаются относительно операции пересечения сводимостей $\alpha$ и $\beta$ $(A\leqslant_{\alpha-\beta}B\leftrightarrow A\leqslant_\alpha B\wedge A\leqslant_\beta B)$. Доказывается, что $\alpha-\beta$-сводимости сводимости отличны от остальных в этих полученных семействах, как только $\alpha-$ несравнима по силе со сводимостью $\beta-$.