Theorem 0.0.1.

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