10.3 消除约束的转换