Definition:Fermat Pseudoprime to Base 4