Talk:Erdős–Nagy theorem