Wagner congruence