Pour les congruences modulo 9, l'idée est que justement, c'est une des rare choses que l'on peut écrire sans tenir compte des retenues :
par exemple,

EVE
+CON
------
=OIR
signifie
trés exactement (100E+10V+E)+(100C+10O+N)=(100O+10I+N) et dans cette écriture, il n'y as pas besoin de "retenues". Ensuite, tu utilise le fait que 1,10,100,1000,... sont congrus à 1 modulo 9 pour en déduire que (E+V+E)+(C+O+N)

O+I+N modulo 9. Dans cet exemple, je ne sais pas si on peut en déduire grand chose d'interessant...
Pour les cas et sous cas, je partirais personellement "de la gauche" et avec les grandes valeurs de E : ( E+C+(retenue éventuelle)=O donc O>E car il sont différent )
E=8 : O>8 impossible
E=7 (V=6) => O=8 et V+O>10 donc retenue3=1 et C=0 ....
E=6 (V=5) => O=7 ou 8...
En étant rapide il n'y en a pas pour
des heures (bon je te le concède, on risque d'approcher
une bonne heure....)