部分证明:https://blog.csdn.net/ltrbless/article/details/88565442 https://www.cnblogs.com/Dillonh/p/11162469.html https://www.cnblogs.com/Milkor/p/4734763.html