4.2 替代定理