Número pseudoprimo

Los pseudoprimos son aquellos números que no siendo primos, verifican el test de base b, o lo que es lo mismo:

Siendo n perteneciente a los números enteros n es pseudoprimo respecto la base b si se verifica que:

$b^{n-1}\equiv 1\mod n,$

es decir, b elevado a la n-1 es congruente con 1 módulo n.

Ejemplo

$2^{12}\equiv 1\mod 13$

Aquí se verifica la ecuación, 13 es primo.

$2^{2046}\equiv 1\mod 2047$

Aquí se verifica la ecuación, pero 2047 no es primo, es compuesto. (n=2047=23x89)