Backwards substitution completed