@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/55c55f0601d81cf3-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/26a46d62cd723877-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/97e0cb1ae144a2a9-s.woff2) format("woff2");unicode-range:u+1f??}@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/581909926a08bbc8-s.woff2) format("woff2");unicode-range:u+0370-0377,u+037a-037f,u+0384-038a,u+038c,u+038e-03a1,u+03a3-03ff}@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/df0a9ae256c0569c-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/6d93bde91c0c2823-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:__Inter_d65c78;font-style:normal;font-weight:100 900;font-display:swap;src:url(/_next/static/media/a34f9d1faa5f3315-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:__Inter_Fallback_d65c78;src:local("Arial");ascent-override:90.49%;descent-override:22.56%;line-gap-override:0.00%;size-adjust:107.06%}.__className_d65c78{font-family:__Inter_d65c78,__Inter_Fallback_d65c78;font-style:normal}:root{--color-bg:#fff;--color-bg-secondary:#f5f5f7;--color-text:#1d1d1f;--color-text-secondary:#6e6e73;--color-link:#06c;--color-link-hover:#049;--color-border:#d2d2d7;--color-code-bg:#f0f0f2;--color-theorem-bg:#eef6ff;--color-theorem-border:#3b82f6;--color-proof-bg:#f0fdf4;--color-proof-border:#22c55e;--color-tag-bg:#e8e8ed;--color-tag-text:#1d1d1f;--content-max-width:720px;--content-padding:clamp(1rem,3vw,2rem);--font-size-base:clamp(1rem,0.95rem + 0.25vw,1.125rem);--font-size-sm:clamp(0.875rem,0.85rem + 0.15vw,0.9375rem);--font-size-lg:clamp(1.25rem,1.15rem + 0.5vw,1.5rem);--font-size-xl:clamp(1.5rem,1.3rem + 1vw,2rem);--font-size-2xl:clamp(1.75rem,1.5rem + 1.25vw,2.5rem);--line-height:1.7;--heading-line-height:1.3}[data-theme=dark]{--color-bg:#1a1a1a;--color-bg-secondary:#2a2a2a;--color-text:#e5e5e5;--color-text-secondary:#a0a0a0;--color-link:#6bb8ff;--color-link-hover:#9dd1ff;--color-border:#3a3a3a;--color-code-bg:#2a2a2e;--color-theorem-bg:#1a2332;--color-theorem-border:#3b82f6;--color-proof-bg:#1a2e1a;--color-proof-border:#22c55e;--color-tag-bg:#333338;--color-tag-text:#e5e5e5}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--color-bg:#1a1a1a;--color-bg-secondary:#2a2a2a;--color-text:#e5e5e5;--color-text-secondary:#a0a0a0;--color-link:#6bb8ff;--color-link-hover:#9dd1ff;--color-border:#3a3a3a;--color-code-bg:#2a2a2e;--color-theorem-bg:#1a2332;--color-theorem-border:#3b82f6;--color-proof-bg:#1a2e1a;--color-proof-border:#22c55e;--color-tag-bg:#333338;--color-tag-text:#e5e5e5}}*,:after,:before{box-sizing:border-box;margin:0;padding:0}html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}body{background-color:var(--color-bg);color:var(--color-text);font-size:var(--font-size-base);line-height:var(--line-height);transition:background-color .2s ease,color .2s ease}h1,h2,h3,h4,h5,h6{line-height:var(--heading-line-height);font-weight:600;margin-top:1.5em;margin-bottom:.5em;scroll-margin-top:1.5rem}h1{font-size:var(--font-size-2xl)}h2{font-size:var(--font-size-xl)}h3{font-size:var(--font-size-lg)}p{margin-bottom:1em}a{color:var(--color-link);text-decoration:none}a:hover{color:var(--color-link-hover);text-decoration:underline}:not(pre)>code{padding:.15em .35em;border-radius:4px;font-size:.9em}:not(pre)>code,pre{background-color:var(--color-code-bg)}pre{padding:1em;border-radius:8px;overflow-x:auto;margin:1.5em 0;font-size:.875em}pre code{background:none;padding:0;border-radius:0}code[data-theme*=" "],code[data-theme*=" "] span{color:var(--shiki-light);background-color:var(--shiki-light-bg)}[data-theme=dark] code[data-theme*=" "],[data-theme=dark] code[data-theme*=" "] span{color:var(--shiki-dark);background-color:var(--shiki-dark-bg)}@media (prefers-color-scheme:dark){:root:not([data-theme=light]) code[data-theme*=" "],:root:not([data-theme=light]) code[data-theme*=" "] span{color:var(--shiki-dark);background-color:var(--shiki-dark-bg)}}pre[data-theme*=" "]{padding:1.1em 1.25em;border-radius:8px;overflow-x:auto;margin:1.5em 0;font-size:.875em;line-height:1.6}pre[data-language]:before{content:attr(data-language);display:block;font-size:.72em;color:var(--shiki-light,var(--color-text-secondary));opacity:.6;margin-bottom:.6em;text-transform:uppercase;letter-spacing:.06em;font-family:inherit}[data-theme=dark] pre[data-language]:before{color:var(--shiki-dark,var(--color-text-secondary))}span[data-highlighted-line]{background-color:rgba(0,0,0,.06);display:block;margin:0 -1.25em;padding:0 1.25em}[data-theme=dark] span[data-highlighted-line]{background-color:hsla(0,0%,100%,.06)}blockquote{border-left:3px solid var(--color-border);padding-left:1em;margin:1.5em 0;color:var(--color-text-secondary);font-style:italic}ol,ul{padding-left:1.5em;margin-bottom:1em}li{margin-bottom:.25em}hr{border:none;border-top:1px solid var(--color-border);margin:2em 0}img,video{max-width:100%;height:auto}table{width:100%;border-collapse:collapse;margin:1.5em 0}td,th{border:1px solid var(--color-border);padding:.5em .75em;text-align:left}th{background-color:var(--color-bg-secondary);font-weight:600}.katex{color:var(--color-text)}.footnotes{margin-top:3rem;padding-top:1.5rem;border-top:1px solid var(--color-border);font-size:var(--font-size-sm);color:var(--color-text-secondary)}.footnotes ol{padding-left:1.25em}.footnotes li{margin-bottom:.5em}.footnotes a[data-footnote-backref]{text-decoration:none;margin-left:.25em}a[data-footnote-ref]{font-size:.75em;vertical-align:super;line-height:0;text-decoration:none;font-weight:600}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);border:0}.header_header__Awatn{display:flex;align-items:center;justify-content:space-between;max-width:var(--content-max-width);width:100%;margin:0 auto;padding:1rem var(--content-padding)}.header_nav___1UFd{display:flex;gap:1.5rem}.header_nav___1UFd a{font-weight:500}.header_themeToggle__VIeqq{background:none;border:1px solid var(--color-border);border-radius:8px;padding:.4rem .6rem;cursor:pointer;font-size:1.1rem;line-height:1;color:var(--color-text);transition:background-color .2s ease}.header_themeToggle__VIeqq:hover{background-color:var(--color-bg-secondary)}