Fermat pseudoprime/Definition