例题2_代入消元法