Светлый фон
K n n ? ? K

(?, K) =

? K

?

?

(?p, K) ;

K

 

p

 

штрих здесь означает, что произведение берется только по неисключительным простым точкам, где мы знаем определение (?p, K). При тех же ограничениях мы доказываем (вместе с Артином) закон взаимности

K

(?, K) = 1, если ? главный,

?