8. Theorem spelling fix
9. Theorem spelling fix
10. Theorem fix
11. Theorem fix
12. Theorem fix
13. Theorem fix
14. Theorem fix