5.2 代入消元法