展开 proe怎么约束对称