basic tests for Congruence