第十八节 推论