Talk:Byers–Yang theorem