bauers identical congruence