Mathematica,如何在后续运算利用Reduce函数产生的解?