Solution to ex1-16