En arithmétique modulaire, une congruence de carrés modulo un entier naturel n est une équation de la forme