Talk:Erdős–Dushnik–Miller theorem