Simplify base case of Theorem 7.1.10
Merge pull request #363 from rwbarton/theorem-7.1.10

Simplify base case of Theorem 7.1.10