Связь мощностей формульных подмножеств со стабильностью формул

Пусть $\Phi_0$, $\Phi_1$ — формулы с одной свободной переменной сигнатуры теории $T$. Если формула $\Phi_1$ стабильна и для любой модели $\mathfrak{A}$ теории $T$ мощность подмножества, выделяемого в $\mathfrak{A}$ формулой $\Phi_0$, не превосходит мощности подмножества, выделяемого в $\mathfrak{A}$ формулой $\Phi_1$, то формула $\Phi_0$ стабильна.