[3.15] Fix a stale link to the math.integer.isqrt() correctness proof (GH-154685)

[3.15] Fix a stale link to the math.integer.isqrt() correctness proof (GH-154685) #283723