О совпадении размерностей совершенно нормальных бикомпактов

Отыскивается класс бикомпактов такой, что для любого бикомпакта $B$ из этого класса и любого непрерывного образа $\xi(B)$ этого бикомпакта имеет место равенство $\operatorname{ind}\xi(B)=\dim\xi(b)=\operatorname{Ind}\xi(B)$ основных размерностей. Таким классом оказывается класс бикомпактов, допускающих вложение в произведение $X\times K$, где $K$ – компакт, а бикомпакт $X$ обладает счетнократным отображением, вполне замкнутым в смысле В. В. Федорчука, в компакт и совершенен. Это заключение почти сразу следует из основной теоремы 1 статьи, которая утверждает, что для тех же $X$ и $K$ и для любого непрерывного образа $f(X\times K)=Z$ произведения $X$ и $K$ бикомпакт $Z$ допускает счетнократное отображение в компакт.
Библ. 18, илл. 1.