Ryan, W. J. “Proof of the Quadratic Reciprocity Law in Primitive Recursive Arithmetic”. MATHEMATICA SCANDINAVICA, vol. 45, Dec. 1979, pp. 177-9, doi:10.7146/math.scand.a-11835.