不变约束

nonvarying constraint