For each m > 1 let Z_m = {0, 1, 2, . . . ,m − 1}, and let F_m = (Z_m,+,×) be the model whose universe is Z_m and that has relations corresponding to the + and × relations computed modulo m. Show that for each m, the theory Th(F_m) is decidable.