Talk:Ankeny–Artin–Chowla congruence