reworked proof of 9.8 by adding missing figure