Puede consultarse una demostración del Teorema de Bondy-Chvátal en [Theorem 7.20].