求多余因子定律A+A'B=A+B推导