Hablando con una persona que nada tiene que ver con la FCEN, me dijo que según ella, la resta de dos enteros espejados (por ejemplo 13524 y 42531) es múltiplo de 9.
Entonces, instantáneamente, me pareció que la demostración de esto salía con lo aprendido de enteros en Álgebra I.
Con lo cual, el ejercicio sería probarlo pues creo que cualquier persona que quiera dar el final tiene que sacar este ejercicio, porque la demostración es sencilla, por eso lo colgué acá.
Saludos

Que buen ejercicio!. En el primer momento me puse mal porque no me salía... Estoy como muy oxidado... bueno, la resolución

De hecho funciona aunque cambies los dígitos de cualquier forma, no solo espejandolos.
Un profesor me enseño un "truco de magia" con eso:
Le pedís a alguien que escriba un numero de muchas cifras en la calculadora, después que forme otro número permutando como quiera las cifras del anterior. Luego le decís que reste ambos números y que al resultado le "borre" una cifra, la que quiera, distinta de cero.
Le pedís que te diga el numero que obtuvo y vos "adivinás" la cifra que sacó.

¿Cómo adivinás? Otro ejercicio para pensar.