Número pseudoprimo

Los pseudoprimos son aquellos números que, sin ser primos, verifican el test de base b, o lo que es lo mismo: Siendo n perteneciente a los números enteros, se dice que n es pseudoprimo respecto la base b si es compuesto y además verifica la congruencia:es decir, n divide a bn-1-1.Esta propiedad es un caso particular del Pequeño Teorema de Fermat y por tanto siempre se verifica para números primos.Aquí se verifica la ecuación pues 13 es primo.Aquí se verifica la ecuación para 2047=23×89.