Fermat formuló la hipótesis: F = 2+ 1 es primo para todo "n" y lo comprobó para: F=3, F=5, F=17, F=257, F=65537.