back-substitution

[数] 倒转代换
[数] 回代