[list][*]ACB è un possibile percorso [/*][*]ACB è minore degli altri possibili APB[/*][*]Congettura: ACB  è min[/*][*]Dimostrazione: APB=A′PB>A′CB=ACB[/*][/list]