Deje que$K_f$ denote el campo numérico generado por los coeficientes de Fourier$a_n$ de una forma de cúspide holomórfica primitiva normalizada$f$. En la página 2, línea 6 del artículo mencionado en el título, Shimura escribe que$K_f$ es generado por$a_p$ para casi todos los números primos$p$. En la siguiente oración, dice que se sigue trivialmente del teorema de la multiplicidad uno.
No veo cómo sigue. Agradeceré cualquier comentario.
