Benutzer:Abrankov/Lucas-Lehmer-Test

Sei mit paarweise verschiedenen Primzahlen. Sei eine Lucas-Folge mit und


Ist nun , so ist prim.