3.2 替代定理