inc (need thm2 and a fake label)
thm1 - inthm1
thm2 - inthm2 (need thm1)
test thm2
i need theorem 1
test thm1
something
test thm3
Here is a paragraph.
And another.