Ṣẹda ẹya ti o nira sii ti gbolohun yii Ẹri ti apa oke ti theorem tun fihan pe imọran ti ko ni opin ti o ni opin lori awọn cardinalities ti awọn awoṣe rẹ gbọdọ ni awoṣe ailopin.
Òtítọ́ ni wípé, àdàkọ tí ó díjú jùlọ nínú gbólóhùn náà ni "Ìfihàn apá òkè nínú àbá náà tún fi hàn wípé ẹ̀kọ́ kan pẹ̀lú àwọn àwòkọ́ṣe tí ó ní ààlà tí ó tóbi lódindi ní láti ní àwòkọ́ṣe tí kò ní ààlà; nígbà míràn èyí ni a kà sí apá kan nínú àbá náà".