有没有证明题的示例？

abababa

我以前用Mathematica就是做一些计算，像求导、积分等等，那有没有一些证明题（不是计算类的证明题）的示例？比如根据一些定义，证明任意一个连续函数在闭区间上都能取得最大值这类的。