沒有特別的原因，進行完全線性的（不僅僅是仿射的）排序。這意味著，在每個子句中，lhs 組件在 rhs 中恰好使用一次。