1.8 替代定理