u.1, correction to problem 9 substitution