8第八讲 直接推理