Una nueva prueba del teorema de Thabit ibn Qurra fue suministrada a finales del siglo XIII por al-Farisi (nacido en 1260), quien introdujo importantes nuevas ideas en los campos de la factorización y de los métodos combinatorios.