添加新标签
原不变式

_

primitive invariant
Warning: Not approved!