Problem 4
The positive integers and are such that and are both squares of positive integers. What is the least possible value of the smaller of these two squares?
Step 2 of 4: Use residues modulo
In plain words
Use residues modulo
Detailed analysis
Modulo , the first identity is , so if then . Since is a quadratic nonresidue modulo , we must have , and then .