Consider the numbers 2 · 10600 + 15 and 2 · 10600 + 16. Without even attempting to calculate those numbers (they have 601 decimal digits, and even won’t crunch that), prove non-constructively that they cannot both be perfect squares.