: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-hue:#57534e;--math-env-bar-width:3px;--math-env-accent:color-mix(in oklab, var(--math-env-hue) 78%, var(--ink));--math-env-body:color-mix(in oklab, var(--math-env-hue) 52%, var(--ink));--math-env-border:color-mix(in oklab, var(--math-env-hue) 14%, var(--paper));box-sizing:border-box;border:1px solid var(--math-env-border);border-left:var(--math-env-bar-width) solid var(--math-env-accent);width:100%;font-family:var(--font-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-hue) 6%, var(--paper));--sidenote-host-inset-end:calc(1.125rem + 1px);border-radius:0 .5rem .5rem 0;margin:1.125rem 0 1.25rem;padding:.625rem 1.125rem .75rem;font-style:normal;display:flow-root;position:relative;overflow:visible}[data-theme=dark] .callout-math{--math-env-tint:color-mix(in oklab, var(--math-env-hue) 58%, white);--math-env-accent:color-mix(in oklab, var(--math-env-tint) 68%, var(--ink));--math-env-body:color-mix(in oklab, var(--math-env-tint) 42%, var(--ink));--math-env-border:color-mix(in oklab, var(--math-env-tint) 16%, color-mix(in oklab, var(--ink) 12%, var(--paper)));background:color-mix(in oklab, var(--math-env-tint) 8%, var(--paper))}.callout-math:has([data-sidenote-panel]){display:block}.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-hue:#7e22ce}.callout-math--theorem{--math-env-hue:#0f766e}.callout-math--lemma{--math-env-hue:#0369a1}.callout-math--axiom{--math-env-hue:#6d28d9}.callout-math--proposition{--math-env-hue:#475569}.callout-math--corollary{--math-env-hue:#0e7490}.callout-math--conjecture{--math-env-hue:#be185d}.callout-math--notation{--math-env-hue:#64748b}.callout-math--remark{--math-env-hue:#4b5563}.callout-math--proof{--math-env-hue:#57534e}.callout-math--proof,[data-theme=dark] .callout-math--proof{border:0;border-left:var(--math-env-bar-width) solid var(--math-env-accent);background:0 0;border-radius: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-hue:#2563eb;--callout-accent:color-mix(in oklab, var(--callout-hue) 58%, var(--ink));--callout-emphasis:color-mix(in oklab, var(--callout-hue) 40%, var(--ink));--callout-fill:color-mix(in oklab, var(--callout-hue) 12%, var(--paper));--callout-body-fill:color-mix(in oklab, var(--callout-hue) 5.5%, var(--paper));--callout-border:color-mix(in oklab, var(--callout-hue) 20%, var(--paper));--callout-divider:color-mix(in oklab, var(--callout-hue) 16%, var(--paper));box-sizing:border-box;border:1px solid var(--callout-border);background:var(--callout-fill);border-radius:.75rem;margin:1.25rem 0;padding:0;overflow:hidden}[data-theme=dark] .callout:not(.callout-math){--callout-tint:color-mix(in oklab, var(--callout-hue) 62%, white);--callout-accent:color-mix(in oklab, var(--callout-tint) 70%, var(--ink));--callout-emphasis:color-mix(in oklab, var(--callout-tint) 46%, var(--ink));--callout-fill:color-mix(in oklab, var(--callout-tint) 12%, var(--paper));--callout-body-fill:color-mix(in oklab, var(--callout-tint) 6.5%, var(--paper));--callout-border:color-mix(in oklab, var(--callout-tint) 20%, color-mix(in oklab, var(--ink) 14%, var(--paper)));--callout-divider:color-mix(in oklab, var(--callout-tint) 14%, color-mix(in oklab, var(--ink) 10%, var(--paper)))}.callout:not(.callout-math)>.callout-summary{cursor:pointer;color:var(--callout-accent);user-select:none;background:0 0;align-items:center;gap:.375rem;margin:0;padding:.4rem .75rem;font-size:.8125rem;font-style:normal;font-weight:600;line-height:1.25;list-style:none;display:flex}.callout:not(.callout-math)>.callout-summary::-webkit-details-marker{display:none}.callout:not(.callout-math)>.callout-summary::marker{content:""}.callout:not(.callout-math)[open]>.callout-summary{border-bottom:1px solid var(--callout-divider)}.callout-summary__icon,.callout-summary__label,.callout-summary__chevron{color:var(--callout-accent);font-style:normal}.callout-summary__label{font-weight:600}.callout-summary__label-title{opacity:.7;font-weight:400}.callout-summary__chevron{opacity:.65;margin-left:auto;transition:transform .2s}.callout:not(.callout-math)[open]>.callout-summary .callout-summary__chevron{transform:rotate(180deg)}.callout:not(.callout-math)>.callout-body{color:var(--foreground);text-align:justify;text-justify:inter-word;background:var(--callout-body-fill);--sidenote-host-inset-end:calc(.95rem + 1px);padding:.85rem .95rem 1rem;font-style:normal}.callout-body :is(p,li){color:inherit;text-align:justify;text-justify:inter-word}.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:not(.callout-math).callout--info{--callout-hue:#2563eb}.callout:not(.callout-math).callout--tip{--callout-hue:#16a34a}.callout:not(.callout-math).callout--warning{--callout-hue:#d97706}.callout:not(.callout-math).callout--danger{--callout-hue:#dc2626}.callout:not(.callout-math).callout--important{--callout-hue:#9333ea}.callout:not(.callout-math).callout--intuition{--callout-hue:#ca8a04}.callout:not(.callout-math).callout--recall{--callout-hue:#3b82f6}.callout:not(.callout-math).callout--explanation{--callout-hue:#65a30d}.callout:not(.callout-math).callout--example{--callout-hue:#059669}.callout:not(.callout-math).callout--exercise{--callout-hue:#4f46e5}.callout:not(.callout-math).callout--problem{--callout-hue:#ea580c}.callout:not(.callout-math).callout--answer{--callout-hue:#0d9488}.callout:not(.callout-math).callout--solution{--callout-hue:#047857}.callout:not(.callout-math).callout--summary{--callout-hue:#0284c7}.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}