Este algoritmo crea el invariante para cualquier nodo.