定理证明例题