add exercise from Marc, close #498
Merge pull request #526 from mikeshulman/lem2.10.5ex

add exercise from Marc, close #498