2019-8-25

李毅伟  3:02

️️临时感悟：万有套路。 设有猜想 P：A ⇒ B。为做出证明，须做出“枢纽定理” Q ：C ⇒ B，使得 A ⇒ C。

2019-8-26

李毅伟  1:39

️ 临时温习：帝国的早晨。 

A        M 

. 

X        B 

注：上图是执行定理的图解。

李毅伟  15:40

️ 临时温习：机甲大战。 

A         L 

    Tx 

X        B|t 

     | 

    \/ 

A        T 

     x 

X        Λ 

注:“执行定理”的主力之一。

李毅伟  23:28

️ 临时温习：厂公之争。 

A         L 

     Tx 

X      B|Λ 

注:“执行定理”的主力之二。

2019-8-27

李毅伟  9:13

️ 什么是“执行定理”？在‘证猜想’类型的文章中，各定理有不同的分工。“主定理”就是要证的猜想，它是缘起。而万有套路告诉人们，一定要有个“枢纽定理”（见引用），它负责联系主定理和副定理。枢纽定理与主定理有相同的结论，但条件不同；副定理刚好相反，它与主定理有相同的条件，但结论不同。而所谓“执行定理”，是用来证明副定理的。能证出猜想，必然要有高超的绝技，可称作“技术定理”，它一定是执行定理的关键部分。