定理和证明类