mention potential pitfall proving 2.8.1, close #494
Merge pull request #542 from mikeshulman/thm2.8.1

mention potential pitfall proving 2.8.1, close #494