Framleiða flóknari útgáfu af setningunni Staðfesting á efri hluta kenningarinnar sýnir einnig að kenning sem hefur engin takmarkað takmörk á kardinalheitum líkana sinna verður að hafa óendanlegt líkan.
Auðvitað er flóknari útgáfa setningarinnar "Vísun á efri hluta kenningarinnar sýnir einnig að kenning með sjálfviljug stórum endanlegum módelum verður að hafa óendanlegt líkan; stundum er þetta talið vera hluti af kenningunni. "