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