求第2.3个式子联立到4式的过程.