<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lambdoc document</title><meta charset="utf-8"/><link rel="stylesheet" href="css/lambdoc.css" media="all" title="Default"/></head><body><div class="doc doc_valid"><div id="doc:a:1" class="doc_theorem doc_theorem_env_theorem"><h1 class="doc_theorem_head"><span class="doc_thmname">Theorem&#xa0;1.</span></h1><div class="doc_theorem_body"><p class="doc_par">Lorem ipsum dolor sit amet.</p></div></div><div id="doc:a:2" class="doc_theorem doc_theorem_env_theorem"><h1 class="doc_theorem_head"><span class="doc_thmname">Theorem&#xa0;2</span><span class="doc_thmextra">(John McAuthor).</span></h1><div class="doc_theorem_body"><p class="doc_par">Lorem ipsum dolor sit amet.</p></div></div><div id="doc:a:3" class="doc_theorem doc_theorem_env_proof"><h1 class="doc_theorem_head"><span class="doc_thmname">Proof.</span></h1><div class="doc_theorem_body"><p class="doc_par">Lorem ipsum dolor sit amet. <sub class="doc_sub">âˆŽ</sub></p></div></div></div></body></html>
