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