§2-9替代定理