证明题里不需要证明的条件