Another Frenchman, Fermat, made ample use of a related principle, indirect proof by infinite descent.
Outro francés, Fermat, fixo amplo uso dun principio relacionado para unha demostración indirecta do infinito descendente.