Benutzer:Tanik/Lucas-Lehmer-Test für Mersennezahlen/Bemerkung3

Wenn eine Lucas-Folge mit


bei

existiert, dann ist prim.