3.1. Formodninger om primtall.

Like dokumenter
Navn og referenser. William Shakespeare Galileo Galilei Claudio Monteverdi

HVA BøR GYMNASLæRERE VITE OM PRIMTALL?

KJENT OG UKJENT I ELEMENTÆR TALLTEORI. Dan Laksov KTH, Stockholm

Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. 8. november 2005 c Vladimir Oleshchuk 35. Teorem 11 (Z n, ) er en endelig abelsk gruppe.

Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010

KAPITTEL 10. EUKLIDS ALGORITME OG DIOFANTISKE LIGNINGER

Forelesning 19 torsdag den 23. oktober

MYNTVEKSLING Cirkeln, KTH 31 Jan. 02

MA1301 Tallteori Høsten 2014 Oversikt over pensumet

Forelesning 24 mandag den 10. november

HJEMMEOPPGAVER (utgave av ):

6 Kryptografi Totienten Eulers teorem Et eksempel på et bevis hvor Eulers teorem benyttes RSA-algoritmen...

Det finnes ingen rettferdige valg!

OFFENTLIG-NØKKELKRYPTOGRAFI

STØRRELSER OG TALL Om størrelser skriver Euklid i Bok 5: 1. En størrelse er en del av en annen størrelse, den mindre av den større når den måler (går

Forelesning 14 torsdag den 2. oktober

Oversikt over det kinesiske restteoremet

Kryptografi, del 2. Aslak Bakke Buan, Ole Enge

MA1301 Tallteori Høsten 2014

TMA4140 Diskret Matematikk Høst 2018

Oversikt over kryptografi

Forelesning 20 mandag den 27. oktober

Heltallsdivisjon og rest div og mod

HVOR MANGE PRIMTALL FINNES DET? KTH 9. Februar 96

1 Primtall og divisorer

Relativt primiske tall

Heltallsdivisjon og rest div og mod

Modulo-regning. hvis a og b ikke er kongruente modulo m.

b) 17 går ikke opp i 84 siden vi får en rest på 16 når 84 deles med 17 c) 17 går opp i 357 siden

Største felles divisor. (eng: greatest common divisors)

Eksempler på praktisk bruk av modulo-regning.

Kryptogra og elliptiske kurver

Litt om diofantiske likninger

LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 2003 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin:

Eksamen i TMA4155 Kryptografi Intro Høst 2003 Løsningsskisse

Oversikt over lineære kongruenser og lineære diofantiske ligninger

Dette brukte vi f.eks. til å bevise binomialteoremet. n i. (a + b) n = a i b n i. i=0

Løysingsforslag til eksamen i MA1301-Talteori, 30/

TALL. 1 De naturlige tallene. H. Fausk

Øvingsforelesning 4. Modulo hva er nå det for no? TMA4140 Diskret Matematikk. 24. og 26. september 2018

Diskret matematikk tirsdag 13. oktober 2015

Øvingsforelesning 5. Binær-, oktal-, desimal- og heksidesimaletall, litt mer tallteori og kombinatorikk. TMA4140 Diskret Matematikk

INDUKSJONSPRINSIPPET MAT111 - H16

MA1301 Tallteori Høsten 2014 Løsninger til Eksamen

Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper

Løsningsforslag til eksamenen i MAT103, våren 2015

Diofantiske likninger og Fermats Store Sats

Oversikt over kvadratiske kongruenser og Legendresymboler

Abelprisvinner L-funksjoner Kjempers skuldre Galois Frobenius Artin Wiles. Årets Abel-pris Robert Langlands

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 )

Direkte produkter. (a, b)(a 0,b 0 )=(ab, a 0 b 0 ).

Analysedrypp I: Bevis, mengder og funksjoner

Introduksjon i tallteotri med anvendelser

Eneboerspillet del 2. Håvard Johnsbråten, januar 2014

Ingen hjelpemiddel er tillatne. Ta med all mellomrekning som trengst for å grunngje svaret. Oppgåve 1... (4%) = = 10 =

KODER I KLASSEROMMET

Steg 1: Rest etter divisjon

Analysedrypp I: Bevis, mengder og funksjoner

FASIT/LF FOR EKSAMEN TMA4140, H07

ECC i akademia vs. industrien

LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002

INF1040 Oppgavesett 14: Kryptering og steganografi

Noen tallteoretiske resultater av Fermat

Koder. Kristian Ranestad. 8. Mars 2005

TMA4100 Matematikk 1, høst 2013

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

Pytagoras fra Samos. Gunnar Gjone: Matematikk på frimerker. (ca f.kr) TANGENTEN 3/

Kryptering Kongruensregning Kongruensregning i kryptering Litteratur. Hemmelige koder. Kristian Ranestad. 9. Mars 2006

Matematikk for IT, høsten 2016

Forelesning 21 torsdag den 30. oktober


Turingmaskiner en kortfattet introduksjon. Christian F Heide

Forord. Oslo, juni 2001 Arne B. Sletsjøe

ABC-formodningen. Contents. 1 ABC-formodningen. Mats Myhr Hansen 05/15/ Innledning. Veileder John Rognes

Ingen hjelpemiddel er tillatne. Ta med all mellomrekning som trengst for å grunngje svaret. Oppgåve 1... (4%) = = 10 =

Primtall. Et heltall p > 0 kalles et primtall hvis kun 1 og p går opp i p.

MA1301 Tallteori Høsten 2014 Oversikt over pensumet for midtsemesterprøven

Løsningsforslag Matematikk for ungdomstrinnet Del 1, Modul 1, 4MX130UM1-K

Matematisk induksjon

Oppgaver til kapittel 19 - Kryptering og steganografi

MIDTSEMESTERPRØVE I FAG TMA4140 DISKRET MATEMATIKK Mandag 20. oktober 2003 Tid : INSTRUKSJONER:

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

Chapter 6 - Discrete Mathematics and Its Applications. Løsningsforslag på utvalgte oppgaver

Innlevering til Årets Nysgjerrigper 2013

Karakteriseringen av like mengder. Mengder definert ved en egenskap.

Steg 1: Regneoperasjoner på en klokke

Il UNIVERSITETET I AGDER

KOMPENDIUM FOR FORKURS I MATEMATIKK FOR MASTERSTUDIET I INFORMASJONSSIKKERHET VED HØGSKOLEN I GJØVIK SOMMEREN 2004.

TMA4140 Diskret Matematikk Høst 2016

Løsningsforslag til eksamenen i MAT103, våren 2016

Matematikk 15 V-2008

Noen mindre kjente problemer i kombinatorisk tallteori

Andrew Wiles, modularitetsformodningen og Fermats siste sats

Rekker (eng: series, summations)

UNIVERSITETET I BERGEN

MATEMATIKK 1 (for trinn) Emnebeskrivelser for studieåret 2014/2015

MAT1140: Kort sammendrag av grafteorien

QED 1 7. Matematikk for grunnskolelærerutdanningen. Bind 2. Fasit kapittel 1 Tallenes hemmeligheter

MIDTSEMESTERPRØVE I TMA4140 Diskret matematikk. 14. oktober 2016 Tid:

MAT Notat om RSA-kryptografi

Transkript:

15 Mai 2000 Kap 3.1 Formodninger om primtall 1 3.1. Formodninger om primtall. (3.1.1) Mersenne, Godbach og primtallstvillinger. Vi skal her forklare noen av de mest kjente formodningene om primtall. (3.1.2) Definition. Et primtall er et heltall p, større eller lik 2 som bare er delbart med ±1 og ±p. De første primtallene er 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31. (3.1.2) Oppgave. Beskriv en metode for å finne alle primtall opp til et gitt tall n. Hint: Skriv opp en liste 2, 3, 4,..., n 1, n av tallene opp til n. Stryk alle tallene som er delbare med 2. Det minste tallet som gjenstår er da primtallet 3. Stryk deretter alle tall som er delbare med 3. Det minste gjenstående tallet er primtallet 5. Fortsett til alle tall er oppbrukt. (3.1.3) Oppgave. Vis at det finnes uendelig mange primtall. Hint: (Euclid 300f.Kr) Anta at det bare finnes et endelig antall primtall p 1, p 2,..., p r. Tallet p 1, p 2, p r +1 kan skrives som et produkt av primtall. Ingen av disse kan imidlertid være blandt p 1, p 2,..., p r ettersom de da måtte dele 1. Dette strider mot antagelsen om at p 1, p 2,..., p r er alle primtallene. (3.1.4) Definition. Mersenne tallene er tallene M p = 2 p 1 der p er et primtall. Om tallet M p er et primtall kaller vi det et Mersenne primtall. Mersenne tallene er oppkalt etter Marin Mersenne (1588-1648) som var en sentral person i matematikken i begynnelsen på 16-hundretallet. De første Mersenne tallene er M 2 = 3, M 3 = 7, M 5 = 31, M 7 = 127. Tallene M 2, M 3, M 5, M 7, M 13, M 17, M 19 er Mersenne primtall mens M 11 = 23 89 og 47 deler M 23. (3.1.4) Formodning. Det finnes uendelig mange Mersenne primtall. (3.1.5) Bemerkning. Om M p er et Mersenne primtall så vil 2M p = 2(2 p 1) = 2 p+1 2. Når p er odde får vi derfor at 2M p = n 2 2 der n = 2 p+1 2. Vi kan derfor gjøre en enklere formodning: (3.1.5) Formodning. Det finnes uendelig mange tall n slik at n 2 2 er to ganger et primtall. En liknende formodning er: (3.1.6) Formodning. Det finnes uendelig mange tall n slik at n 2 2 er et primtall. (3.1.7) Oppgave. Finn tall n slik at n 2 2 er et primtall, eller to ganger et primtall. I en litt annen retning har vi formodningen: kodertall

15 Mai 2000 Kap 3.1 Formodninger om primtall 2 (3.1.7) Formodning. Det finnes uendelig mange primtall p slik at q = 2p + 1 er primtall. Denne formodningen er relatert til en formodning om primtallstvillinger, som er blandt de mest kjente i matematikken. Primtallstvillinger er par (p, q) av primtall slik at at q p = 2. De første primtallstvillingene er (3.5), (5, 7), (11, 13), (17, 19), (29, 31). Vi vet at (1706595 2 11235 1, 1706595 2 11235 + 1) er primtallstvillinger [R]. (3.1.8) Oppgave. Bruk primtallene fra Oppgave (3.1.2) til å finne primtallstvillinger. (3.1.8) Formodning. Det finnes uendelig mange primtallstvillinger. Vi vet (se e.g. [B] og [R]) at B = ( 1 3 + 1 ) ( 1 + 5 5 + 1 ) ( 1 + 7 11 + 1 ) ( 1 + 13 17 + 1 ) ( 1 + 19 29 + 1 ) +, 31 det vil si summen av de inverse av alle primtallstvillinger er lik 1.90216054. Derimot vet vi at summen av de inverse av alle primtall 1 2 + 1 3 + 1 5 + 1 7 + 1 11 + 1 13 + 1 17 + 1 19 + 1 23 +..., divergerer. Dette skulle snarere tyde på at det bare finnes et endelig antall primtallstvillinger. Vi kjenner imidlertid så store primtallstvillinger at det er grunn til å tro formodningen om at det finnes uendelig mange primtall. En annen berømt formodning som alle bør kjenne til er: (3.1.9) Formodning. (Goldbach) Hvert like tall større enn 3 kan skrives som en sum av to primtall. Christian Goldbach 1690-1764 formodet i et brev til Leonard Euler (1707-1783) i 1742 at hver tall n > 5 kan skrives som en sum av 3 primtall. Euler svarte at dette er ekvivalent med det vi i dag kaller Godbachs hypotese. For eksempel har vi 4 = 2 + 2, 6 = 3 + 3, 8 = 3 + 5, 10 = 3 + 7 = 5 + 5, 12 = 5 + 7. Goldbachs formodning har blitt vist for alle tall mindre eller lik 10 8 (se e.g. [S] eller [R]). Jing-run Chen [C] viste i 1973 at hvert like tall større enn 3 kan skrives på formen p + q r der p, q og r er primtall. (3.1.10) Oppgave. Verifiser at Godbachs hypotese holder for så mange like tall som mulig. Alle disse formodningene er gamle og en rekke tidenes fremste matematikere har arbeidet med dem. De er også kontrollert opp til astronomiske tall. Mye er kjent om tallteori, og det finnes et stort antall meget kraftfulle metoder (se e.g. [HW]). Til tross for dette er det ingen som har en god ide om hvordan disse formodningene skal vises, eller hvilke metoder som skal brukes.

15 Mai 2000 Kap 3.2 Litt elementær tallteori 3 3.2. Litt elementær tallteori. (3.2.1) Fermats Lille Sats og Carmichaeltall. Tallteorien består ikke bare av formodninger. Den er også full av vakre og dype resultater og teorier. Vi skal kikke på et par elementære resultater som vi vil bruke i neste seksjon. La N være et helt tall. Om a og b er to heltall slik at n deler a b skriver vi a b (mod n) og sier at a er kongruent med b modulo n. Dette kan virke som en komplisert måte å uttrykke saken på, men er en genial terminologi, som viler på fundamentale prinsipper i matematikken. (3.2.2) Oppgave. Vis at om a b (mod n) og c d (mod n) så vil b a (mod n), a c b d (mod n) og ac bd (mod n). (3.2.3) Oppgave. La n være et helt positivt tall. Vis at for hvert tall a så finnes et tall r slik at 0 r n 1 og a r (mod n). Overbevis deg selv om at det for hvert e er lett å finne r slik at a e r (mod n) med 0 r n 1, til tross for at a e er altfor stor for å kunne beregnes. (3.2.4) Theorem. (Fermats Lille Sats) La p være et primtall. For hvert heltall a som ikke er delbart med p har vi a p 1 1 (mod p). (3.2.5) Oppgave. Bevis Fermats Lille Sats. Hint: Vi at om a r 1, 2a r 2,..., (p 1)a r p 1 (mod n) med 0 r i p 1 så vil r 1, r 2,..., r p 1 være ulike. Ta produktene av høyre og venstre sidene i de p 1 kongruensene vi har skrevet opp. Da får vi at (1 2 (p 1))a p 1 (1 2 (p 1)) (mod n). Dette medfører Fermats Lille Sats fordi p ikke deler 1 2 (p 1). (3.2.6) Oppgave. Vis at det følger av Fermats Lille Sats at om p og q er ulike primtall, og a og b er tall som ikke er delbare med p respektive q så har vi at a p 1 b q 1 1 (mod p) q. Vi kan spørre i hvilken omfatning Fermats Lille Sats holder for andre tall enn primtall, det vil si om det er mulig at følgende: a n 1 1 (mod n) for alle tall a som er primiske med n kan holde for et sammensatte tall n. Merk at for tall a og n som ikke er primiske er det umulig at a n 1 1 (mod n) holder fordi hver divisor i a og n må da dele 1.

15 Mai 2000 Kap 3.2 Litt elementær tallteori 4 (3.2.7) Definition. Vi sier at et sammensatt tall n slik at a n 1 1 (mod n) for alle heltall a som er primiske med n er et Carmichaeltall. Det viser seg at det er veldig få Carmichaeltall [Cl]. De første er 561, 1105, 1729, 1905, 2465, 2821, 6601. Til tross for dette var det ikke før i 1974 at W. Alford, A. Granville og C. Pomerance viste [AGP] at det finnes uendelig mange Carmichaeltall. (3.2.8) Oppgave. Sjekk at vi skjelden har at a n 1 1 (mod n) for alle heltall a primiske med n når n er et sammensatt tall. Det vil si, fortsett listen 3 3 3 1 (mod 4), 5 5 5 1 (mod 6), 3 7 3 1 (mod 8), 3 9 3 1 (mod 10), 5 11 5 1 (mod 12). (3.2.9) Oppgave. La n være et sammensatt tall som ikke er et Carmichaeltall. Da finnes et tall b primisk med n slik at b n 1 1 (mod n). La r 1, r 2,..., r m være alle tallene blandt 1, 2,..., n 1 som er primiske med n, og som er slik at r n 1 i 1 (mod n). Videre la br 1 s 1,..., br m s m (mod n), der 0 s i n 1. Vis at tallene s i er primiske med n og at s n 1 i 1 (mod n). Derfor utgjør tallene r 1, r 2,..., r m høyst halvparten av tallene 1, 2,..., n 1 som er primiske med n. Med andre ord, om n er et sammensatt tall som ikke er et Carmichaeltall, og om vi velger et vilkårlig tall a blandt 1, 2,..., n 1 som er primisk med n så er sjansen høst 1 2 for at an 1 1 (mod n).

15 Mai 2000 Kap 3.3 Offentlig kryptering 5 3.3. Offentlig kryptering. (3.3.1) RSA. Om to personer vil sende hemmelige meddelelser til hverandre kan de skaffe seg en kodebok som de bruker til å kryptere og avkryptere meddelelser med. Om de bare er passe smarte kan de gjøre dette slik at ingen andre, som ikke har kodeboken, kan avkryptere en kryptert meddelelse. Slike metoder er ofte upraktiske, og forsøker man å gjøre dem mer anvendbare åpner de seg for personer som vil avkryptere uten kodebok. Ofte er det ikke to personer som vil sende hemmelige meddelelser til hverandre, men mange personer som vil sende en hemmelig meddelelse til en eneste person. Slik er det for eksempel når vi vil bruke kontokort og vil kryptere kontonummer og beløp slik at bare banken kan avkryptere informasjonen. Lenge filosoferte man på om dette var mulig. Slike koder ble kalt offentlig krypteringskoder ettersom alle har nøkkelen til krypteringen. I 1979 konstruerte tre matematikere R. Rivest, A. Shamir og L. Adleman en slik kode [RSA] (see e.g. [H]). Koden kalles RSA-koden. Ideen er enkel. De som skal kryptere en meddelelse bruker et stort tall n, som alle kjenner og som er et produkt av to store primtall, men de kjenner ikke disse primtallene. For å avkryptere meddelelsen må man kjenne til disse primtallene, og det gjør bare mottakeren. Metoden bygger på at selvom man kjenner et tall og vet at det er et produkt av to primtall tar det uhyggelig lang tid å finne disse primtallene om tallet er stort. Vi skal forklare hvordan RSA krypterer og avkrypterer meddelelser: For dette velger vi et tall n som er et produkt n = p q av to primtall p og q. Vi tenker oss at alle meddelelser representeres av et tall som er mindre enn n. Dette er lett gjort. Består meddelelsen av bokstaver kan vi for eksempel representere a ved tallet 01, b ved tallet 02 og så videre. Er meddelelsen så lang at tallet som representerer meddelelsen blir større enn n kan vi dele opp tallet i deler som er mindre enn n og sende hver del for seg. Før vi kan begynne å kode finner vi minste felles multiplum m av tallene p 1 og q 1. Ettersom p 1 og q 1 er ulike tall har vi att m (p 1)(q 1)/2. Det er nu lett å finne heltall r og s slik at rs 1 (mod m). Vi gir tallene r og n til alle som vil kryptere. En meddelse M krypteres til meddelelsen c M bestemt ved at der 0 c M n 1. c M M r (mod n)

15 Mai 2000 Kap 3.3 Offentlig kryptering 6 Den som kjenner til tallet s kan lett avkryptere meddelelsen fordi: M c s M (mod n). For å vise at den siste likheten gjelder bruker vi først at ved definisjonen av minste felles multiplum så finnes det et tall e slik at m = e(p 1)(q 1). Videre følger det av at rs 1 (mod m) at det finnes et helt tall d slik at rs = 1 + dm. Derfor følger det av Oppgave (3.2.6) at M m M e(p 1)(q 1) (M (p 1)(q 1) ) e 1 e 1 (mod n). Derfor får vi at c s M M rs M 1+dm M(M m ) d M 1 M (mod n), som vi ville vise. (3.3.3) Bemerkning. Det er klart at vi ikke, på noen lett måte, kan rekonstruere tallene p og q fra r og n. Kjenner vi derimot r, s og n er det mye raskere å finne p og q fordi m er en divisor i rs 1 og kjenner vi m så er vi nære ved å finne (p 1)(q 1) og dermed p og q.

15 Mai 2000 Kap 3.4 Store Primtall 7 3.4. Store Primtall. (3.4.1) Store Primtall. Som vi har sett må vi for å konstruere bra offentlig kryperingskoder kunne konstruere store primtall. Takket være at det finnes så få Carmichaeltall er dette lett, ialfall med stor sannsynlighet (see e.g. [P] og [W]). Vi vil teste om et gitt tall n er primtall. Velg først et vilkårlig tall a 1 blandt 2, 3,..., n 1. Test om a 1 er primiske med n. Er den ikke det kan ikke n være et primtall, og vi er ferdige. Om a 1 er primisk med n prøver vi om vi har a 1 1 (mod n). Holder ikke dette, hvilket det på grunn av (3.2.9) ikke gjør med en sannsynlighet av minst 1 2 om n er sammensatt og ikke et Carmichaeltall, følger det av Fermats Lille Sats at n ikke er et primtall og vi er ferdige. Om vi har at a 1 1 (mod n) så velger vi et nytt vilkårlig tall a 2 blandt 2, 3,..., n 1. Test om a 2 er primiske med n. Er den ikke det kan ikke n være et primtall, og vi er ferdige. Om a 2 er primisk med n prøver vi om vi har a 2 1 (mod n). Holder ikke dette, hvilket det på grunn av (3.2.9) ikke gjør med en sannsynlighet av minst 1 2 om n er sammensatt og ikke et Carmichaeltall, følger det av Fermats Lille Sats at n ikke er et primtall og vi er ferdige. Den sammensatte sannsynligheten for at a n 1 i 1 (mod n) ikke holder for i = 1 og i = 2 om n er et sammensatt tall som ikke er et Carmichaeltall er større enn 1 1 2. Om vi har at a 2 2 1 (mod n) så velger vi et nytt vilkårlig tall a 3 blandt 2, 3,..., n 1, og fortsetter prosessen. Etter r steg har vi enten funnet at n ikke er et primtall, eller at a n 1 i 1 (mod n) for i = 1, 2,..., r. Det vil si, vi har at n er et primtall med en sannsynlighet av 1 1 2. r Dette er en meget rask metode for å finne store primtall, med stor sannsynlighet. (3.4.3) Oppgave. Bruk metoden ovenfor til å bestemme om tall du selv velger er primtall.

15 Mai 2000 Kap 3.4 Referenser 8 3.4. Referenser. [AGP] W.R. Alford, A. Granville, & C. Pomerance, There are infinitely many Carmichael numbers, Ann. of Math. (1994), no. 139, 703-722. [B] V. Brun, La série 1 5 + 1 7 + 1 11 + 1 13 + 1 17 + 1 19 + 1 29 + 1 31 + 1 41 + 1 43 + 1 59 + 1 61 + oû les dénominaterurs sont nombres primes jumeaux est convergente ou finie, Bull.Sci. Math. (1919), no. 43, 101-204, 124-128. [Cl] R.D. Carmichael, On composite numbers P which satisfy the Fermat congruence a p 1 1 (mod P ), Amer. Math. Monthly (1912), no. 19, 22-27. [C] H. Chen, On the representation of large even integers as the sum of a prime and the product of at most two primes, Sci. Sinica (1973), no. 16, 157-176. [H] J. Håstad, Offentlig kryptering, Välj specialarbete i matematik (Dan Laksov, ed.), ISBN: 91-7170-851-0, THD AB, BANDHAGEN 1989, 1989. [HW] G.H. Hardy & E.M. Wright, An introduction to the theory of numbers, Fith edtion, Oxford Univ. Press, Oxford 1979, 1979. [P] C. Pomerance, Recent developments in primality testing, Mathematical intelligenser 3 (1981), 97-105. [R] P. Ribenboim, The little book of big primes, ISBN 0-387-97508-X, Springer Verlag, New Your, 1991. [RSA] R. Rivest, A. Shamir, L. Adleman, A method for obtaining digital signatures and public-key cryptosystems, Communications of ACM 21 (1979), 120-126. [S] D. Shanks, Solved and Unsolved Problems in Number Theory, Fourth Edition, ISBN 0-8284-1297-9, Chelsea Publishing Company, New York, 1993. [W] S. Wagon, Primality testing, Mathematical intelligenser 8:3 (1986), 58-61.