Quadratic reciprocity law