congruence theory 4382300