歇一会儿

超文本标记语言

这回说的，确实是网页。

找那个被“显然”省掉的引理

主定理读完了，先别合上书。

躺不平，也卷不赢。今天先弄懂一个“为什么”。

这一步，不证自明。

先喝口茶。歇十分钟，引理也不会跑掉。