Bondy–Chvátal theorem