¿Cuál es la invariante?