inverant

不变量,不变式