Porque la entrade en el if es siempre cierta al cumplirse que

a=9 y a%9==0    nunca se modifica el valor de a