Sea $ X$ el conjunto de todos los enteros positivos mayores o iguales a $ 8$ y sea $ f: X\rightarrow X$ una función tal que $ f(x+y)=f(xy)$ para todo $ x\ge 4, y\ge 4 .$ Si $ f(8)=9$ , determina $ f(9) .$