Fermat's method of descent

GPTKB entity