幂互反律

power reciprocity law