:root{--body-color:#1b1818;--body-bg-color:#f9fafb;--link-visited:#a80000;--link-focus-outline:#1660f3;--pre-bg-color:#e8edf2;--kbd-bg-color:#fff;--kbd-border-color:#afb3b6;--table-border-color:black;--border-width-thin:1.36px;--border-width-thick:2.27px;--sidenote-target-border-color:#ddd688;--text-indent-size:1.463rem}.body{counter-reset:theorem definition lemma sidenote-counter note}.abstract,.abstract p{text-align:center;margin-top:0}.abstract{margin:2.25rem 0}.abstract>h2{margin-bottom:-.2rem;font-size:1rem}.theorem{counter-increment:theorem;border:1px solid;border-radius:25px;margin:12px 0;padding-top:10px;padding-left:16px;font-style:italic;display:block}.theorem:before{content:"Theorem " counter(theorem) ". ";font-style:normal;font-weight:700}.theorem_vn{counter-increment:theorem;border:1px solid;border-radius:25px;margin:12px 0;padding-top:10px;padding-left:16px;font-style:italic;display:block}.theorem_vn:before{content:"Định lý " counter(theorem) ". " attr(title);font-style:normal;font-weight:700}.lemma{counter-increment:lemma;border:1px solid;border-radius:25px;margin:12px 0;padding-top:10px;padding-left:16px;font-style:italic;display:block}.lemma:before{content:"Lemma " counter(lemma) ". ";font-style:normal;font-weight:700}.proof{margin:12px 0;font-style:normal;display:block;position:relative}.proof:before{content:"Proof. " attr(title);font-style:italic}.proof:after{content:"◾️";filter:var(--proof-symbol-filter);position:absolute;bottom:-2px;right:-12px}.callout-math{--math-env-accent:#57534e;--math-env-bar-width:3px;--math-env-body:color-mix(in oklab, var(--math-env-accent) 70%, var(--foreground));box-sizing:border-box;border:0;border-left:var(--math-env-bar-width) solid var(--math-env-accent);width:100%;font-family:var(--font-sans,ui-sans-serif, system-ui, sans-serif);font-size:inherit;line-height:inherit;color:var(--foreground);text-align:justify;text-justify:inter-word;background:color-mix(in oklab, var(--math-env-accent) 3%, var(--background));margin:1.125rem 0 1.25rem;padding:.625rem 1.125rem .75rem;font-style:normal;display:flow-root;position:relative}.callout-math-body{text-wrap:wrap;margin:0;display:block}p.callout-math-body{color:inherit}.callout-math-label{color:var(--math-env-accent);letter-spacing:.01em;margin-right:.35em;font-style:normal;font-weight:700}.callout-math-label--block{margin:0 0 .125rem;display:block}.callout-math-body:not(p)>:is(p,ul,ol,blockquote,pre,table,div,.katex-display){margin:0}.callout-math-body:not(p)>:is(p,ul,ol,blockquote,pre,table,div,.katex-display)+:is(p,ul,ol,blockquote,pre,table,div,.katex-display){margin-top:.875rem}.callout-math-body:not(p)>:first-child:not(.callout-math-label):is(ul,ol,blockquote,pre,table,div,.katex-display){margin-top:.625rem}.callout-math-body :is(p),.callout-math>:is(p){color:inherit;text-wrap:wrap;white-space:normal;margin:0}.callout-math>:is(p+p){margin-top:.875rem}.callout-math-body :is(ul,ol){margin:.625rem 0 0;padding-left:1.625rem;list-style-position:outside;display:block}.callout-math-body :is(ul){list-style-type:disc}.callout-math-body :is(ol){list-style-type:decimal}.callout-math-body :is(li){color:inherit;margin:.35rem 0;padding-left:.25rem;display:list-item}.callout-math-body :is(li)>:is(p){margin:0}.callout-math-body :is(li)>:not(:first-child){margin-top:.5rem}.callout-math-body :is(a){color:var(--math-env-accent);text-underline-offset:3px;text-decoration:underline}.callout-math-body :is(.katex,.katex-display){color:var(--foreground);font-style:normal}.callout-math-body .katex-display{text-align:center;margin:.875rem 0}.callout-math-body .katex-display+:is(p){margin-top:.875rem}.callout-math .annotation-marker{font-style:normal}.callout-math :is(em,i){color:var(--math-env-body);font-synthesis:style;font-style:italic}.callout-math :is(strong,b){color:var(--math-env-accent);font-weight:600}.callout-math--definition{--math-env-accent:#7e22ce}.callout-math--theorem{--math-env-accent:#0f766e}.callout-math--lemma{--math-env-accent:#0369a1}.callout-math--axiom{--math-env-accent:#6d28d9}.callout-math--proposition{--math-env-accent:#475569}.callout-math--corollary{--math-env-accent:#0e7490}.callout-math--conjecture{--math-env-accent:#be185d}.callout-math--notation{--math-env-accent:#64748b}.callout-math--remark{--math-env-accent:#4b5563}.callout-math--proof{--math-env-accent:#57534e}[data-theme=dark] .callout-math--definition{--math-env-accent:#d8b4fe}[data-theme=dark] .callout-math--theorem{--math-env-accent:#5eead4}[data-theme=dark] .callout-math--lemma{--math-env-accent:#7dd3fc}[data-theme=dark] .callout-math--axiom{--math-env-accent:#c4b5fd}[data-theme=dark] .callout-math--proposition{--math-env-accent:#94a3b8}[data-theme=dark] .callout-math--corollary{--math-env-accent:#67e8f9}[data-theme=dark] .callout-math--conjecture{--math-env-accent:#f9a8d4}[data-theme=dark] .callout-math--notation{--math-env-accent:#94a3b8}[data-theme=dark] .callout-math--remark{--math-env-accent:#9ca3af}[data-theme=dark] .callout-math--proof{--math-env-accent:#a8a29e}.callout-math--proof{border-left:var(--math-env-bar-width) solid var(--math-env-accent);background:0 0;padding:.5rem 1.125rem .75rem;font-style:normal}.callout-math--proof .callout-math-label,.callout-math--proof .callout-math-label--block{margin:0 0 .375rem;display:block}.callout-math--proof:after{content:"□";color:var(--math-env-accent);font-size:.95em;font-style:normal;line-height:1;position:absolute;bottom:.35rem;right:0}.callout:not(.callout-math){--callout-emphasis:color-mix(in oklab, var(--callout-accent) 70%, var(--foreground));border-left:3px solid var(--callout-accent);background:color-mix(in oklab, var(--callout-accent) 3%, var(--background))}.callout-summary,.callout-summary__icon,.callout-summary__label,.callout-summary__chevron{color:var(--callout-accent);font-style:normal}.callout-body{color:var(--foreground);font-style:normal}.callout-body :is(p,li){color:inherit}.callout-body :is(em,i){color:var(--callout-emphasis);font-synthesis:style;font-style:italic}.callout-body :is(strong,b){color:var(--callout-accent);font-weight:600}.callout-body :is(a){color:var(--primary);text-underline-offset:3px;text-decoration:underline}.callout-body :is(code,pre,kbd,.katex,.katex-display){color:var(--foreground);font-style:normal}.callout-body .annotation-marker{font-style:normal}.callout:not(.callout-math).callout--note{--callout-accent:#2563eb}.callout:not(.callout-math).callout--tip{--callout-accent:#16a34a}.callout:not(.callout-math).callout--warning{--callout-accent:#d97706}.callout:not(.callout-math).callout--danger{--callout-accent:#dc2626}.callout:not(.callout-math).callout--important{--callout-accent:#9333ea}.callout:not(.callout-math).callout--intuition{--callout-accent:#ca8a04}.callout:not(.callout-math).callout--recall{--callout-accent:#60a5fa}.callout:not(.callout-math).callout--explanation{--callout-accent:#65a30d}.callout:not(.callout-math).callout--example{--callout-accent:#059669}.callout:not(.callout-math).callout--exercise{--callout-accent:#4f46e5}.callout:not(.callout-math).callout--problem{--callout-accent:#ea580c}.callout:not(.callout-math).callout--answer{--callout-accent:#0d9488}.callout:not(.callout-math).callout--solution{--callout-accent:#047857}.callout:not(.callout-math).callout--summary{--callout-accent:#0284c7}[data-theme=dark] .callout:not(.callout-math).callout--note{--callout-accent:#93c5fd}[data-theme=dark] .callout:not(.callout-math).callout--tip{--callout-accent:#86efac}[data-theme=dark] .callout:not(.callout-math).callout--warning{--callout-accent:#fcd34d}[data-theme=dark] .callout:not(.callout-math).callout--danger{--callout-accent:#fca5a5}[data-theme=dark] .callout:not(.callout-math).callout--important{--callout-accent:#d8b4fe}[data-theme=dark] .callout:not(.callout-math).callout--intuition{--callout-accent:#fde047}[data-theme=dark] .callout:not(.callout-math).callout--recall{--callout-accent:#93c5fd}[data-theme=dark] .callout:not(.callout-math).callout--explanation{--callout-accent:#bef264}[data-theme=dark] .callout:not(.callout-math).callout--example{--callout-accent:#6ee7b7}[data-theme=dark] .callout:not(.callout-math).callout--exercise{--callout-accent:#a5b4fc}[data-theme=dark] .callout:not(.callout-math).callout--problem{--callout-accent:#fdba74}[data-theme=dark] .callout:not(.callout-math).callout--answer{--callout-accent:#5eead4}[data-theme=dark] .callout:not(.callout-math).callout--solution{--callout-accent:#6ee7b7}[data-theme=dark] .callout:not(.callout-math).callout--summary{--callout-accent:#7dd3fc}.definition{counter-increment:definition;border:1px solid;border-radius:25px;margin:12px 0;padding-top:10px;padding-left:16px;font-style:normal;display:block}.definition:before{content:"Definition " counter(definition) ". " attr(title);font-style:normal;font-weight:700}.definition_vn{counter-increment:definition;border:1px solid;border-radius:25px;margin:12px 0;padding-top:10px;padding-left:16px;padding-right:16px;font-style:normal;display:block}.definition_vn:before{content:"Định nghĩa " counter(definition) ". " attr(title);font-style:normal;font-weight:700}.note_vn{counter-increment:note;border:1px solid;border-radius:25px;margin:12px 0;padding-top:10px;padding-left:16px;padding-right:16px;font-style:normal;display:block}.note_vn:before{content:"Ghi chú " counter(note) ". " attr(title);font-style:normal;font-weight:700}.note{counter-increment:note;border:1px solid;border-radius:25px;margin:12px 0;padding-top:10px;padding-left:16px;padding-right:16px;font-style:normal;display:block}.note:before{content:"Note " counter(note) ". " attr(title);font-style:normal;font-weight:700}:not(.post-layout--sidenotes) .sidenote{float:right;clear:right;text-indent:0;width:18vw;margin-bottom:1em;margin-right:-20vw;font-size:.8rem}:not(.post-layout--sidenotes) .sidenote.left{float:left;text-indent:0;margin-bottom:1em;margin-left:-12vw}:not(.post-layout--sidenotes) .sidenote:target{border:var(--sidenote-target-border-color) 1.5px solid;padding:0 .5rem;scroll-margin-block-start:10rem}:not(.post-layout--sidenotes) .sidenote-number{counter-increment:sidenote-counter}:not(.post-layout--sidenotes) .sidenote-number:after,:not(.post-layout--sidenotes) .sidenote:before{vertical-align:baseline;position:relative}:not(.post-layout--sidenotes) .sidenote-number:after{content:counter(sidenote-counter);font-size:.7rem;top:-.5rem;left:.1rem}:not(.post-layout--sidenotes) .sidenote-number~.sidenote:before{content:counter(sidenote-counter) " ";font-size:.7rem;top:-.5rem}:not(.post-layout--sidenotes) label.sidenote-toggle:not(.sidenote-number){display:none}:not(.post-layout--sidenotes) blockquote .sidenote{width:18vw;margin-right:-24vw}:not(.post-layout--sidenotes) label.sidenote-toggle{cursor:pointer;display:inline}:not(.post-layout--sidenotes) input.sidenote-toggle{display:none}@media (width<=1050px){:not(.post-layout--sidenotes) label.sidenote-toggle:not(.sidenote-number){display:inline}:not(.post-layout--sidenotes) .sidenote{display:none}:not(.post-layout--sidenotes) .sidenote-toggle:checked+.sidenote{float:left;clear:both;width:95%;margin:.5rem 1.25rem 1rem .5rem;display:block;left:1rem}:not(.post-layout--sidenotes) blockquote .sidenote{width:16vw;margin-right:-25vw}}.footnotes p{text-align:left;margin-bottom:.4rem;font-size:85%;line-height:1.5}.footnotes{margin-top:2rem}