Teorema del grafo cerrado