. "If p is a prime then p is in the sequence iff 2^p-1 is a composite number." . . .