第9章 推论成立(第3页)