Wenn eine Lucas-Folge U n {\displaystyle {}U_{n}\,} mit
bei
existiert, dann ist n = M m = 2 m − 1 {\displaystyle {}n=M_{m}=2^{m}-1\,} prim.