Donde son enteros positivos conocidos, y es la «semilla» del método.
Ésta sucesión así definida, genera un conjunto de números pseudo-aleatorios que tiene periodo completo si se cumplen:
1) El mcd de es igual a 1. (mcd=Máximo Común
Divisor)2) Si es un primo tal que entonces
3) Si entonces
EJEMPLO
Si entonces y la sucesión generada es:
SIN RECURSIVIDAD
Se probará por inducción sobre que al resolver la recursividad
nos queda
Para es obvio que , al igual que para queda
Suponemos para que
Y ahora para tenemos por definición
Sustituyendo
Demostrado .