Diagonal Congruence