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