第十三章 推论(上)