Alhazen resolvió problemas que involucran congruencias utilizando lo que ahora se llama el teorema de Wilson.