Talk:Bondy's theorem