零点が無ければ対数は有界

補題 6.3（「Dedekind ゼータ関数と Dirichlet の L 関数」§6）・ ✓公理まで証明済み

補題 3.4 の状況で、 $L(s, \chi)$ が $s \to 1 + 0$ で $0$ でない複素数に収束するならば、 $\ell(s, \chi)$ は $s \in (1, 2]$ で有界である。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。