Kuzalisha toleo ngumu zaidi ya sentensi hii uthibitisho wa sehemu ya juu ya theorem pia inaonyesha kwamba nadharia ambayo haina mwisho mdogo juu ya cardinalities ya mifano yake lazima iwe na mfano usio na mwisho.
Bila shaka, toleo ngumu zaidi ya sentensi ni "uthibitisho wa sehemu ya juu ya theorem pia inaonyesha kwamba nadharia na mifano kubwa arbitrarily mwisho lazima kuwa na mfano usio na mwisho; wakati mwingine hii ni kuchukuliwa kuwa sehemu ya theorem. "