其他浏览者。

懒于把随笔写得详细清楚，毕竟这只是动手写程序前理清思路的一个小小的环节。

即使是应当严谨的证明也是如此，写到让自己觉得能看懂这个非形式化证明就发出来了。

毕竟我有很多事情，又要经常浪。