数学里面的定理是指可以直接使用的吗.