es un invariante.