举报逆风飞翔TobeNo-1的博文：

latex中的定理和证明环境