在希腊人之后，直到17世纪，对素数的研究几乎没有发生。皮埃尔·德·费马（Pierre de Fermat）在1640年提出了（没有证明）费马的小定理（后来由莱布尼兹和欧拉证明）。费马还猜想所有22n +1形式的数字都是质数（它们称为费马数），他对此进行了验证，直到n \u003d 4（或216 +1）。但是，第二个费马数232 +1是复合的（其主要因子之一是641），正如欧拉后来发现的那样，实际上，没有其他费马数被认为是质数。法国僧侣马林·梅森（Marin Mersenne）看着2p − 1形式的素数，其中p是素数。他们以他的荣誉被称为梅森素数。
皮埃尔·德·费马特（Pierre de Fermat）在哪一年宣布了费马的小定理？