我正在尝试通过感应原理实现西格玛消除，但我不明白为什么很好，但在下面用约束误差突出显示黄色，因为这些程序是等效的。pr₁ 和 pr₁' 并非如此。pr₂pr₂' 请您解释一下错误，以及为什么 agd...