 Ṣẹda ẹdà tí ó díjú jùlọ ti gbólóhùn yìí Ìpinnu tí ó wọpọ jùlọ ni fún I láti jẹ àìlópin àti Uláti ní gbogbo àwọn ìsọrí tí ó ní àlàfo ti I. : Òtítọ ni wípé, àdàkọ tí ó díjú jùlọ nínú gbólóhùn náà ni Ohun tí a yàn ni pé kí I jẹ àìlópin àti U kí ó ní gbogbo àwọn àpapọ ìsọrí ti I tí ó jẹ pé kò ní ààlà, bí bẹẹ kọ, ààrò náà jẹ olórí, àti pé ààrò náà jẹ isomorphic sí ọkan nínú àwọn ohun tí ó jẹ olórí. 