Fermat states and proves (by descent) in the appendix to Observations on Diophantus (Obs.
Fermat estableceu e probou (por descenso) no apéndice das Observacións sobre Diofanto (Obs.