If is any divisibility sequence, one says that a prime is a primitive divisor of if but . Primitive divisors of certain divisibility sequences were studied by Zsigmondy [37] in the 19th century.
2013, Graham Everest, Thomas Ward, Heights of Polynomials and Entropy in Algebraic Dynamics, Springer, page 138,