<details>
<summary>
<p><span><span>Proof 0.0.0.1</span><span>.</span></span></p>
</summary>
<div>
<p>Left as an exercise to the grader.</p>
</div>
</details>
<details>
<summary>
<p><span id="this-should-override-heading"><span>this should override heading</span><span>.</span></span></p>
</summary>
<div></div>
</details>
<details>
<summary>
<p><span id="this-should-override-heading"><span>this should override heading</span><span>.</span></span></p>
</summary>
<div>
<p>i dont want a lot for christmas</p>
<p>all i want for christmas is this proof</p>
</div>
</details>
<details>
<summary>
<p><span id="sp4n1sh1nqu151t10n"><span>Proof 0.0.0.2</span><span>.</span></span></p>
</summary>
<div></div>
</details>
