Об уравновешенных условных тождествах и условно полных условных многообразиях

Доказывается, что для любого уравновешенного условного многообразия $\mathfrak M$ с единственной константной алгеброй существуют условно полное условное многообразие $\mathfrak M^{\mathrm c}$ и полиинъективный функтор $F$, изоморфно вкладывающий категорию вложимости $\overset{\rightarrowtail}{\mathfrak M}$ в категорию вложимости $\overset{\rightarrowtail}{\mathfrak M^{\mathrm c}}$.