Talk:Erdős–Rado theorem