Pocklington-Lehmer Test

See Pocklington's Theorem