Krei pli kompleksan version de tiu frazo La pruvo de la supra parto de la teoremo ankaŭ montras ke teorio kiu havas neniun finhavan limon sur la kardinaloj de siaj modeloj devas havi senfinan modelon.
Kompreneble, pli kompleksa versio de la frazo estas "La pruvo de la supra parto de la teoremo ankaŭ montras ke teorio kun arbitraj grandaj finhavaj modeloj devas havi senfinan modelon; foje tio estas konsiderata kiel parto de la teoremo".