complete the congruence statement