<div>
<p><span id="theorem-1"><span>Theorem 0.0.1</span> (Theorem 1)<span>.</span></span></p>
<pre><code>meow
</code></pre>
</div>
<div>
<p><span id="lemma-2"><span>Lemma 0.0.2</span><span>.</span></span></p>
<pre><code>mrrp
</code></pre>
</div>
<p>so "Theorem 0.0.1" should produce "Theorem 0.0.1" and "Lemma 0.0.2" should produce "Lemma 0.0.2" :3</p>
