Talk:Bondy–Chvátal theorem