On Fibonacci and Lucas sequences modulo a prime and primality testing

We prove two properties regarding the Fibonacci and Lucas Sequences modulo a prime and use these to generalize the well-known property p∣Fp−p5. We then discuss these results in the context of primality testing.