El problema dice que $$N=a_m.10^m+a_{m-1}.10^{m-1}+...+a_1.10+a_0$$ es divisible por $5$ si $a_0=0$ o $5$ .
Este es mi enfoque.
Es obvio que $a_0$ debe ser $0$ o múltiplo de $5$ . Lo he demostrado, $$N=a_m.10^m+a_{m-1}.10^{m-1}+...+a_1.10+a_0\equiv a_0\mod 5\\ \Rightarrow N\equiv a_0 \mod 5\\ \therefore N-5=a_0\\ 10.m-5=a_0$$ , donde $N=10.m$ .
Poner $m=1,2,3,..$ etc. obtenemos $a_0=5$ . Es obvio que $a_0=0$ también. De ahí la prueba.
Ahora tengo una duda. ¿Es correcto asumir $N=10.m$ ? No estoy seguro. Por favor, corríjanme si me equivoco. Cualquier enfoque alternativo también será útil.