如题，看到教程里都写了这个东西，想要详细了解一下证明过程，google 无果。

或者有什么文献也可以，不限语言，谢谢了。