Consider a Lucas sequence with and
. A Fibonacci pseudoprime is a composite number
such that
There exist no even Fibonacci pseudoprimes with parameters and
(Di Porto 1993) or
(André-Jeannin 1996). André-Jeannin (1996) also proved that if
and
, then there exists at least one even Fibonacci pseudoprime with parameters
and
.