eliminate premature "Theorem", see #519
unmarked errata for 810aa94
Merge pull request #523 from mikeshulman/firsttime

eliminate premature "Theorem", see #519