Assuming fixed-point numbers with format 1.15 as described in the boxes on pages 234 and 235, show that the only two numbers that cause overflow when multiplied are 1 and 1. That is, if either number is anything other than 1 in the 1.15 format, then extracting the 16 shaded bits in the boxes does not result in overflow.