Talk:Erdős–Anning theorem