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

(7)

 

и замечаем, что, по определению, (?, K) = 1, если ? — норма. Вернёмся к произвольному иделю ?. Легко видеть, что существует эквивалентный идель ?* ~ ?, который является n-й степенью для всех исключительных простых точек, хотя таких ?* будет, разумеется, бесконечное число. Тем не менее ограниченный закон взаимности гарантирует нам, что

? K ? произвольному ? ? ? n ?

(?*, K) =

? K

?

?

(?p*, K)