Prouver que la différence deux multiples de 9 est encore un multiple de 9 ?