Wonten ing matematika Islam, piyambakipun ngandharaken kasus mirunggan saking "Teorema kaping pungkasan Fermat" kanggé n = 3, nanging bukti pacobanipun bab teorema punika inggih klentu. Hukum sinus kasus # Spherical (hukum bola sinus) bok bilih ugi sampun kapanggih déning Khujandi, nanging boten mesti punapa piyambakipun inggih ingkang manggihaken ingkang sapisan, utawi punapa Abu Nasr Mansur, Abul Wafa utawi Nasir al-Din al-Tusi ingkang manggihaken teorema punika ingkang manggihaken langkung rumiyin.