NB: Numbers with 2, 3, 7, or 8 as the last digit can be rejected on the spot by the theorem below:∀_{x,y∈Z} y≠x² ⇔ y mod 10∈{2,3,7,8} The proof

Example: 625 is the square of ±25