Shamir congruence