不变量

invariant