Несущественные расширения полных теорий

Построены примеры полных счетных теорий, несущественные расширения которых имеют меньшее число счетных моделей.