File talk:Erdős–Anning proof.svg