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