Theorem 0.0.1.
test that theorem heading doesn't go into this paragraph since it's not the first child