第一十八章 推论