首页
未来题库
→
标签
→
theorem
theorem
1.
（） proof of （） theorem is not difficult.