Congruence of squares

Congruence of squares is a concept in number theory that deals with whether two numbers can be expressed as squares mod some integer. Specifically, it investigates under what conditions a quadratic residue (a number that is congruent to a perfect square modulo \( n \)) can be expressed as the square of another number modulo \( n \).