谁能解释一下替代定理?