Je pense que c’est sous entendu qu’il fait sa démonstration dans un contexte qui sont les suppositions d’ED, puisque si on n’y adhère pas l’autre démonstration est triviale (mais je me trompe peut être)