Artin's reciprocity theorem