Why 561 Passes Fermat's Test

From Fermat pseudoprimes to Miller-Rabin, BPSW, and primality certificates.