De lo contrario el grafo contiene al menos un ciclo y por lo tanto un ordenamiento topológico es imposible.