Artin reciprocity law