Esaldi honen bertsio konplexuago bat sortzea Teorema gorako zatiaren froga ere erakusten du bere ereduen kardinaltasunetan muga finiturik ez duen teoriak mugagabe eredu bat izan behar duela.
Jakina, esaldiaren bertsio konplexuagoa da "Teoremoaren gorako zatiaren frogak ere erakusten du modu arbitrario handiko eredu finituak dituen teoriak infinitu eredu bat izan behar duela; batzuetan hau teoremaren zati gisa hartzen da".