第9章 推论成立