new post
 在 LaTeX 里定义一个类似 proof 的环境