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

Тип $q\in S^n(\varnothing)$ называется суперстабильным, если $\forall \lambda\geqslant 2^\omega\,\forall A(|A|\leqslant \lambda\Rightarrow |\{p\in S^n(A)\mid p\supset q\}|\leqslant\lambda)$. Доказано, что если теория $T$ имеет хотя бы один неглавный суперстабильный тип из $\bigcup_{n<\omega}S^n(\varnothing)$, то $T$ имеет бесконечное число попарно неизоморфных счетных моделей.