Категоричность в несчётных мощностях и $\aleph_1$-однородные модели

Тотально трансцендентная теория, у которой любая модель некоторой несчётной мощности $\aleph_1$-однородна, категорична в любой несчётной мощности.