Definition:Fermat Pseudoprime to Base 2