紧凑证明模式

当结构先于细节被看见时，紧凑证明会更容易回看。

模式 #

一则有用的证明笔记会先写出不变量，再记录局部推进，最后才展开代数或组合细节。

好处 #

这样页面才能作为记忆辅助发挥作用：读者不必重读每一行，也能恢复证明为什么成立。

后续笔记 #

数学分区会用这些块来承载值得拥有稳定 URL 的定义、定理草图和题解。