Hola. Fijate que tiene argumento , entonces para que sea igual a tiene que cumplirse, además de lo de los módulos a lo que ya llegaste, que el argumento de sea (es decir, el mismo argumento que a menos de un múltiplo de ). Si le llamás al argumento de , entonces el argumento de es , y entonces:
Saludos+