h3.svelte-4flsbg{margin:1.5rem auto .5rem}.subsubsectionHeader.svelte-4flsbg{counter-reset:problem-counter}span.svelte-4flsbg:before{counter-increment:subsubsection-counter;content:counter(subsubsection-counter) " "}.problem-statement.svelte-1nppqab.svelte-1nppqab:before{font-weight:700;counter-increment:problem-counter;margin-right:.5em}.problem-statement._00-Proof.svelte-1nppqab.svelte-1nppqab:before{content:"Proof " counter(section-counter) "." counter(problem-counter) ". "}.problem-statement._01-Proof.svelte-1nppqab.svelte-1nppqab:before{content:"Proof " counter(section-counter) "." counter(subsubsection-counter) "." counter(problem-counter) ". "}.problem-statement._10-Proof.svelte-1nppqab.svelte-1nppqab:before{content:"Proof " counter(section-counter) "." counter(subsection-counter) "." counter(problem-counter) ". "}.problem-statement._11-Proof.svelte-1nppqab.svelte-1nppqab:before{content:"Proof " counter(section-counter) "." counter(subsection-counter) "." counter(subsubsection-counter) "." counter(problem-counter) ". "}.problem-statement._00-Example.svelte-1nppqab.svelte-1nppqab:before{content:"Example " counter(section-counter) "." counter(problem-counter) ". "}.problem-statement._01-Example.svelte-1nppqab.svelte-1nppqab:before{content:"Example " counter(section-counter) "." counter(subsubsection-counter) "." counter(problem-counter) ". "}.problem-statement._10-Example.svelte-1nppqab.svelte-1nppqab:before{content:"Example " counter(section-counter) "." counter(subsection-counter) "." counter(problem-counter) ". "}.problem-statement._11-Example.svelte-1nppqab.svelte-1nppqab:before{content:"Example  " counter(section-counter) "." counter(subsection-counter) "." counter(subsubsection-counter) "." counter(problem-counter) ". "}.problem-statement.svelte-1nppqab span.svelte-1nppqab{color:#000;font-size:90%}span.svelte-n989v8{display:inline-block;font-size:90%;margin-bottom:.5rem;margin-right:1rem}