第三十八章 推导定理