数学中定理可以直接用吗定义,推论呢