配合前面的ntheorem宏包产生各种定理结构 - 第4页