9-20 什么是代入定理和对偶定理？