moved congruence rules for addition