A Lucas-számok sorozatát a következő rekurzióval definiáljuk: L0=2, L1=1, Ln+1=Ln+Ln-1. Mutassuk meg, hogy tetszőleges p>3 prímszám esetén L(p+1)/2p-1 osztható Lp-vel.