О сходимости позитивных схем $\mathrm{S4}$ и $\operatorname{Int}$

Предлагается условие на схему, достаточное для сходимости в логике $\mathrm{S4}$ модальной позитивной схемы за конечное число шагов. В качестве следствия получается, что в интуиционистской логике позитивные схемы сходятся за конечное число шагов.