tangent-chord process (one form of addition theorem on a cubic curve) was known since 17 century. process of infinite descent of #Fermat was well known, but #Mordell succeeded in establishing finiteness of #quotient group
Learning is not brick-mortar enterprise , ladder game