J'ai défini E' :

ou E' est à la même altitude que L sur EF

Sinon, c'est bien A'F-IF puis A'I

L'hypothèse de récurrence, c'est : "toute les montagnes plus petites que celle étudiée peuvent être grimpée". (plus petites en terme de nombre de creux et sommets)
Dans la récurrence, je construit 3 montagnes plus petites, donc l'hypothèse de récurrence s'applique. Le grignotage en bas est nécessaire pour obtenir deux nouvelles montagnes (car les deux extrémités doivent être à la même hauteur)