La invariante es así