Dublin grafligida tug'ilgan shaxsga teorema haqida aytib berishganda, u buni amaliy va unchalik qiziq emas deb hisobladi. Uning xayoli o'z nazariyasi bilan shunchalik band ediki, hamkasbiga bergan javobida teorema predmetini IKS deb atadi. IKSni bir xil harf bilan boshlanadigan ikkita ot bilan ayting.