ctex中这个证明定理1.3怎么打