杰斯拉瓦引理
杰斯拉瓦引理（鹰语：Jeslava lemma),是由来自碲星(不是碲球）的超数（超理数学）学家杰斯拉瓦提出的一条引理，后被硒星超理学家星河入梦完善。这条引理虽然一看就知道是正确的，但始终未被完美的证明，所以又称杰斯拉瓦公理，因而有一部分没啥锑的超理学家家认为此引理有误，拒绝承认其伟大与正确。相信随着时间的推移，杰斯拉瓦引理一定会得到众人的认可，使世界突破技术奇点。
应用
理论上可以一步解决所有的数学证明题，即使是公理。除非题目出错了。
以下是杰斯拉瓦对此说的一段话：韦达定理啊，鉴于你们对于蛮不讲理方程不太了解，我建议你们去理解一下杰斯拉瓦引理在瓜豆大定理的狄利克雷函数方法，并尝试理解他们在证明赫尔德不等式在ZF公理体系中可以证伪哥德尔不完备定理的3n+1猜想。这样你就能理解韦达定理了
管控
由于其过于简易使用就可以证明所有的证明题，大多不聪明的准智慧生物为提高自己的智慧而禁止使用，传授，传播这个伟大的数学定理。