Está bien lo que decís. Salvo por lo de que 16=2^3, en realidad 16=2^4.
Pero en efecto es así de sencillo el circuito. Notar que queda sencillo para módulos que sean potencia de 2. Para otros valores de módulo ahí es mucho más complicado.
Saludos,
Gustavo