你可以先证明，然后再写出结论，这样讲就变成推导了 by w23c3c3 @ 2021-02-28 08:27:35
？？？不会吧不会真有人认为数竞不用这么推导吧？？？ 不会真有人认为不用证明引理吧？？？ by 培淇2021 @ 2021-02-28 08:44:04
"由引理1234，得证“ by VinstaG173 @ 2021-02-28 09:15:44
谢 /qq by zimujun @ 2021-02-28 09:33:13