>>782 の続き。

Σ1/f_1(x, y)^s + . . . + Σ1/f_h(x, y)^s = Σ(2^μ)/m^s

s → ＋1 のとき lim 1/f_i(x, y)^s は D のみに関係する定数で
f_i によらない。これを臨時的に A と書こう。

s → ＋1 のとき lim Σ(2^μ)/m^s
も同様である。これを臨時的に B と書こう。

よって hA = B となる。
これから h = B/A となって、類数 h が求まる。

かなり大雑把だが、これが Dirichlet の基本アイデアである。