6.1 单式推论