例题1_代入消元法