5.3. This problem works out a special case of part of the theorem i...