对于provide4理论，我们提供了四个方面的重归一化方案不变量的结构分析。 我们对不变量进行了完整的讨论（最多四个循环），并在五个循环中包含了部分结果，这表明不变量比天真的预期多得多。 我们还表明，在一个明确定义的方案类别中，一顶点可归约的贡献可能会一直被忽略，当然其中包括MS。