Para comprobarlo basta ver que ningún camino puede tener dos nodos rojos seguidos debido a la propiedad 4.