Pocklington primality test
In mathematics, the Pocklington–Lehmer primality test is a primality test devised by Henry Cabourn Pocklington and Derrick Henry Lehmer. The test uses a partial factorization of N − 1 {\displaystyle N-1} to prove that an integer N {\displaystyle N} is prime.
Source: Wikipedia — Pocklington primality test (CC BY-SA 4.0)