Congruence_of_squares loading ...