Redei's reciprocity law