明显互反律

explicit reciprocity law