It was proved later by Al-Haitham, also mentioned by Fibonacci, and is now known as Wilson's theorem.
Sie wurde später von Al-Haitham erstmals bewiesen, von Fibonacci erwähnt und ist heute als Satz von Wilson bekannt.