Diagonal congruence proof