il y a deux erreur (+ une faute de tape), mais le resultat est correct.
la premiere c qu'il faut etudier 3 cas pour dire que x > 1 et y > 1, qui sont :
x = y = 1, x = 1 et y > 1, x > 1 et y = 1, t'as raison ces cas ne peuvent donner des solutions (verification facile, sans oublier qu'avant ca il faut eliminer le cas où x = 0 ou y = 0).
la deuxieme erreur c l'equivalence
7*(7^(x-1)-23)=32*(32^(y-1)-5) <=> 32^(y-1)=5 mod 7, il faut mettre une implication slmt.
mais meme avec ses corrections le raisonnement tient debout, et effectivement y'a pas de solution.