backwards substitution