Ankeny–Artin–Chowla congruence