1995-yilda britaniyalik Endryu Uayls Ferma buyuk teoremasini isbotladi. Faqat 2016-yilga kelibgina ushbu isbot uchun u Abel mukofotini oldi, ammo 2000-yilning o'zidayoq Uayls [BO'SHLIQ]. Bo'shliqni bir xil harf bilan boshlanadigan ikkita so'z bilan to'ldiring.