定交织子空间的唯一性……每一个大步骤都分成无数个小步骤，把整个引理的证明过程讲解的清清楚楚，比论文本身要的论述要清晰数倍
包括论文中一笔带过的交织度量需要遵循的对称性、非负性跟分离性证明过程都全部展示一遍，的确让他完全弄懂了这个引理的证明过程，就是总感觉怪怪的……