喜欢推导每个定理.怎么翻译