1.chap1:problem
2.preamble:solve same thm counter bug