Eyi to fa a ti won fi npe ni ile olukunle nitori igbagbo awon Yoruba pe "Olu" ni Okunrin je ninu omo.. 
Ni soki, ti a ba jùsílẹ̀ nọmba pato afida lati ibẹrẹ itẹntẹ̀lé ohun, a le sọ Ealṣi Togaju larin afida meji di kekere bo ba se wu wa.ìtẹ́lẹ̀ Cauchy fun awon nọmba gidi Kobintẹ̀lé kan,fun nọmba gidi jẹ ti Cauchy, ti fun gbogbo nọmba gidi alapa ti r > 0, nọmba odidi odidi n alapa yio wa fun wọn to je pe fun gbogbo awọn nọmba odidi odidi M, N>n a ni Alp.. 