nを割らない素数 ℓ に対して、モジュラー形式の係数a(ℓ)は ℓ に等しい、つまり法 ℓ での最小多項式の解の個数に等しい。