También fue Alhacén el primero en formular el teorema de Wilson, que no habría de ser planteado en Occidente hasta 750 años después.