Problem 1(b). Verifying results.