第一个式子如何得到第二个