Wilsons sats
Från Rilpedia
Texten från svenska Wikipedia
Wilsons sats inom talteorin upptäcktes först av John Wilson, en student till den engelske matematikern Edward Waring. Waring kungjorde satsen 1770 även om ingen av dem kunde bevisa den. Lagrange gav det första beviset år 1771. Det finns bevis på att Leibniz kände till resultatet ett århundrade tidigare, men han publicerade det aldrig.
Wilsons sats säger att ett heltal n > 1 är ett primtal om och endast om:
