Law of quadratic reciprocity