These two statements also date from 1640; in 1659, Fermat stated to Huygens that he had proven the latter statement by the method of infinite descent.
Estes dous resultados tamén son de 1640; en 1659, Fermat informou a Huygens de que probara o último resultado polo método do descenso infinito.