Carmichael, establece que para todo "n" mayor que 12, el "n"-ésimo número de Fibonacci F("n") tiene al menos un factor primo que no es factor de ninguno de los términos anteriores de la sucesión.