8.6 证明解释