Tolong jelaskan mengenai Sejarah dari Teorema Wilson

Teorema ini dinyatakan oleh Ibnu Haitham (sekitar 1000 M), dan pada abad ke-19 oleh John Wilson. Edward Waring mengumumkan teorema tersebut pada tahun 1770, walau dia maupun muridnya, Wilson, dapat membuktikannya. Langrage memberikan bukti pertama pada tahun 1771. Terdapat bukti bahwa Leibniz juga menyadari bukti teorema tersebut satu abad sebelumnya, tetapi ia tidak pernah mempublikasikannya.