Sukurti sudėtingesnę šio sakinio versiją Teoremo viršijančios dalies įrodymai taip pat rodo, kad teorija, kuri neturi ribinės ribos savo modelių kardinalumuose, turi turėti begalinį modelį.
Žinoma, sudėtingesnė sakinio versija yra "Teoremos viršijančios dalies įrodymas taip pat rodo, kad teorija su savavališkai dideliais ribiniais modeliais turi turėti begalinį modelį; kartais tai laikoma teoremos dalimi".