5.8 用结果来证明