typo: missing ^-1
Merge pull request #352 from ecavallo/master

typo in proof of Definition 8.6.5