Supongamos que existe un contraejemplo; entonces debe existir un contraejemplo con el mínimo número de nodos posible.