Proof of the quadratic reciprocity law in primitive recursive arithmetic. W.J. Ryan (1979) Mathematica Scandinavica