本注释的目的是使用代数外壳的概念来证明用于同时规范化的平坦分解定理的模拟。其他应用提高了早期的平整度标准。