This solution may then, under reverse substitution, yield a solution to the original problem.
這樣的解可以在之後，透過反向的代入，產生原本問題的解。