Talk:Borel graph theorem