A mondat egy bonyolultabb változatát hozza létre A tétel felfelé irányuló részének bizonyítása azt is mutatja, hogy egy elméletnek, amelynek nincs véges korlátja a modelljeinek kardinális értékeire, végtelen modellje kell legyen.
Természetesen a mondat egy bonyolultabb változata: "A tétel felfelé irányuló részének bizonyítása azt is mutatja, hogy egy olyan elméletnek, amelynek önkényesen nagy véges modelljei vannak, végtelen modellje kell legyen; néha ezt a tétel részének tekintik".