@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Serif:ital,wght@0,400;0,500;0,600;1,400;1,500&display=swap');:root{--pf-essay-font-prose-latin:"IBM Plex Serif","STIX Two Text",Palatino,Georgia,serif;--pf-essay-font-prose-sc:"IBM Plex Serif","STIX Two Text","Source Han Serif SC","Noto Serif CJK SC","Songti SC",serif;--pf-essay-font-prose-tc:"IBM Plex Serif","STIX Two Text","Source Han Serif TC","Noto Serif CJK TC","Songti TC",serif;--pf-essay-font-prose:var(--pf-essay-font-prose-latin);--pf-essay-font-ui:var(--pf-font-sans-latin,"IBM Plex Sans",system-ui,sans-serif);--pf-essay-font-code:"Inconsolata","IBM Plex Mono",ui-monospace,SFMono-Regular,Menlo,monospace;--pf-essay-math-scale:1.02em;--pf-essay-bg:#ffffff;--pf-essay-fg:#2c2724;--pf-essay-muted:#7a736c;--pf-essay-faint:#9e978f;--pf-essay-rule:#eae6e0;--pf-essay-rule-strong:#d5cfc7;--pf-essay-surface:#faf8f5;--pf-essay-link-rule:#b5afa7;--pf-essay-sidenote-active:#f4f0e8;--pf-essay-prose-measure:40.5rem;--pf-essay-rail-left:15.5rem;--pf-essay-rail-right:15.5rem;--pf-essay-hero-measure:51rem}html:lang(zh-CN),html:lang(zh-SG),.pf-essay:lang(zh-CN),.pf-essay:lang(zh-SG),.pf-essay .pf-zh-sc{--pf-essay-font-prose:var(--pf-essay-font-prose-sc);--pf-essay-font-ui:var(--pf-font-sans-sc);--pf-essay-font-code:var(--pf-font-mono-sc)}html:lang(zh-TW),html:lang(zh-MO),html:lang(zh-HK),.pf-essay:lang(zh-TW),.pf-essay:lang(zh-MO),.pf-essay:lang(zh-HK),.pf-essay .pf-zh-tc{--pf-essay-font-prose:var(--pf-essay-font-prose-tc);--pf-essay-font-ui:var(--pf-font-sans-tc);--pf-essay-font-code:var(--pf-font-mono-tc)}html[data-theme="dark"]{--pf-essay-bg:#121110;--pf-essay-fg:#e8e4de;--pf-essay-muted:#9c958d;--pf-essay-faint:#736d66;--pf-essay-rule:#262422;--pf-essay-rule-strong:#3a3733;--pf-essay-surface:#191816;--pf-essay-link-rule:#5c5750;--pf-essay-sidenote-active:#211f1c}body.pf-essay,.pf-essay{background-color:var(--pf-essay-bg);color:var(--pf-essay-fg);font-family:var(--pf-essay-font-prose);font-size:0.96875rem;line-height:1.62;text-rendering:optimizeLegibility}body.pf-essay,.pf-essay{--pf-bg:var(--pf-essay-bg);--pf-fg:var(--pf-essay-fg);--pf-vis-ink:var(--pf-essay-fg);--pf-vis-muted:var(--pf-essay-muted);--pf-vis-grid:var(--pf-essay-rule)}.pf-essay:lang(zh-CN),.pf-essay:lang(zh-SG),.pf-essay:lang(zh-TW),.pf-essay:lang(zh-HK),.pf-essay :lang(zh-CN),.pf-essay :lang(zh-SG),.pf-essay :lang(zh-TW),.pf-essay :lang(zh-HK){line-height:1.74}.pf-essay:lang(zh-CN) em,.pf-essay:lang(zh-SG) em,.pf-essay:lang(zh-TW) em,.pf-essay:lang(zh-HK) em,.pf-essay :lang(zh-CN) em,.pf-essay :lang(zh-SG) em,.pf-essay :lang(zh-TW) em,.pf-essay :lang(zh-HK) em{font-style:normal;font-weight:600}.pf-essay-topnav{width:100%;margin:0;padding:0.95rem clamp(1.25rem,2.5vw,2.25rem);display:flex;align-items:center;justify-content:space-between;gap:1.5rem;font-family:var(--pf-essay-font-prose);font-size:0.94rem;line-height:1.25}.pf-essay-brand{color:var(--pf-essay-fg);font-weight:400;letter-spacing:0.08em;text-decoration:none;white-space:nowrap;flex-shrink:0}.pf-essay-brand:hover{opacity:0.72}.pf-essay-navlinks{display:flex;flex-wrap:wrap;align-items:center;gap:1.35rem}.pf-essay-navlinks a{color:var(--pf-essay-fg);text-decoration:none;font-weight:400;transition:opacity 0.12s ease}.pf-essay-navlinks a:hover{opacity:0.65}.pf-essay-navlinks a[aria-current="page"]{border-bottom:1px dotted var(--pf-essay-link-rule)}.pf-essay-theme-btn{padding:0 2px;font-family:var(--pf-essay-font-prose);font-size:0.98rem;line-height:1;color:var(--pf-essay-fg);background:transparent;border:0;cursor:pointer;opacity:0.78;transition:opacity 0.12s ease}.pf-essay-theme-btn:hover{opacity:1}.pf-essay-shell{padding-bottom:5rem}.pf-essay-masthead{max-width:42rem;margin:clamp(2.4rem,5vw,4.35rem) auto 2.85rem;padding:0 clamp(1.25rem,4vw,2rem);text-align:center}.pf-essay-masthead:has(+.pf-essay-hero){margin-bottom:2rem}.pf-essay-kicker{display:none}.pf-essay-title,.pf-essay-masthead h1{font-family:var(--pf-essay-font-prose);font-size:clamp(1.7rem,2.4vw,2.125rem);font-weight:400;letter-spacing:-0.01em;line-height:1.14;color:var(--pf-essay-fg);margin:0}.pf-essay-subtitle{max-width:34rem;margin:0.8rem auto 0;font-family:var(--pf-essay-font-prose);font-size:0.98rem;line-height:1.55;color:var(--pf-essay-muted)}.pf-essay-byline{margin-top:1.15rem;display:flex;flex-wrap:wrap;justify-content:center;gap:0.5rem 1.1rem;font-family:var(--pf-essay-font-prose);font-size:0.92rem;color:var(--pf-essay-fg)}.pf-essay-byline time{color:var(--pf-essay-muted)}.pf-essay-byline a{color:var(--pf-essay-fg);text-decoration:none}.pf-essay-byline a:hover{border-bottom:1px dotted var(--pf-essay-link-rule)}.pf-essay-hero{max-width:var(--pf-essay-hero-measure);margin:0 auto 3.25rem;padding:0 clamp(1rem,3vw,1.5rem)}.pf-essay-grid{max-width:86rem;margin:0 auto;padding:0 clamp(1.25rem,3vw,2.25rem);display:grid;grid-template-columns:minmax(10.5rem,var(--pf-essay-rail-left)) minmax(0,var(--pf-essay-prose-measure)) minmax(10.5rem,var(--pf-essay-rail-right));justify-content:center;gap:clamp(1.75rem,3.6vw,3.2rem);align-items:start}.pf-essay-toc{grid-column:1;position:sticky;top:2.25rem;max-height:calc(100vh - 4rem);overflow-y:auto;font-family:var(--pf-essay-font-prose);font-size:0.79rem;line-height:1.55;padding-top:0.1rem}.pf-essay-toc:empty{visibility:hidden;pointer-events:none}.pf-essay-toc-label{display:none}.pf-essay-toc ul{list-style:none;margin:0;padding:0;display:grid;gap:0.34rem}.pf-essay-toc ul ul{margin-top:0.24rem;padding-left:0.75rem;gap:0.24rem}.pf-essay-toc a{display:block;padding:0.12rem 0;color:var(--pf-essay-muted);text-decoration:none;transition:color 0.12s ease}.pf-essay-toc a:hover{color:var(--pf-essay-fg)}.pf-essay-toc a.is-active{color:var(--pf-essay-fg);font-weight:600}.pf-essay-prose{min-width:0}.pf-essay-prose>*+*{margin-top:1.05rem}.pf-essay-prose p{margin-bottom:0;text-indent:0}.pf-essay-prose h1,.pf-essay-prose h2,.pf-essay-prose h3,.pf-essay-prose h4{font-family:var(--pf-essay-font-prose);font-weight:400;color:var(--pf-essay-fg);letter-spacing:-0.008em;line-height:1.2;scroll-margin-top:2rem}.pf-essay-prose h1:not(#article-title),.pf-essay-prose h2{margin-top:3.1rem;margin-bottom:0.9rem;font-size:1.52rem;font-weight:400}.pf-essay-prose h3{margin-top:2.15rem;margin-bottom:0.7rem;font-size:1.2rem;font-weight:400}.pf-essay-prose>:first-child{margin-top:0}.pf-essay-prose .header-section-number{display:none}.pf-essay-prose a{color:inherit;text-decoration:none;border-bottom:1px dotted var(--pf-essay-link-rule);transition:border-color 0.12s ease,color 0.12s ease}.pf-essay-prose a:hover{border-bottom-style:solid;border-bottom-color:var(--pf-essay-fg)}.pf-essay-prose ul,.pf-essay-prose ol{padding-left:1.35rem}.pf-essay-prose li+li{margin-top:0.35rem}.pf-essay-prose blockquote{margin:1.4rem 0;padding:0.1rem 0 0.1rem 1.05rem;border-left:1.5px solid var(--pf-essay-rule-strong);color:var(--pf-essay-muted)}.pf-essay-prose code{font-family:var(--pf-essay-font-code);font-size:0.9em;padding:0.08em 0.28em;background-color:var(--pf-essay-surface);border:1px solid var(--pf-essay-rule)}.pf-essay-prose pre{margin:1.35rem 0;padding:0.9rem 1.05rem;overflow-x:auto;background-color:var(--pf-essay-surface);border:1px solid var(--pf-essay-rule);line-height:1.52}.pf-essay-prose pre code{padding:0;border:0;background:transparent;font-size:0.86rem}.pf-essay-prose pre a{border-bottom:0}.pf-essay-prose code span.kw,.pf-essay-prose code span.cf,.pf-essay-prose code span.al,.pf-essay-prose code span.er{font-weight:600}.pf-essay-prose code span.co{color:var(--pf-essay-muted);font-style:italic}.pf-essay .katex{color:inherit;font-size:var(--pf-essay-math-scale)}.pf-essay:lang(zh-CN) .katex .cjk_fallback,.pf-essay:lang(zh-SG) .katex .cjk_fallback,.pf-essay :lang(zh-CN) .katex .cjk_fallback,.pf-essay :lang(zh-SG) .katex .cjk_fallback,.pf-essay .pf-zh-sc .katex .cjk_fallback{font-family:var(--pf-essay-font-prose-sc);font-style:normal}.pf-essay:lang(zh-TW) .katex .cjk_fallback,.pf-essay:lang(zh-MO) .katex .cjk_fallback,.pf-essay:lang(zh-HK) .katex .cjk_fallback,.pf-essay :lang(zh-TW) .katex .cjk_fallback,.pf-essay :lang(zh-MO) .katex .cjk_fallback,.pf-essay :lang(zh-HK) .katex .cjk_fallback,.pf-essay .pf-zh-tc .katex .cjk_fallback{font-family:var(--pf-essay-font-prose-tc);font-style:normal}.pf-essay-prose .katex-display,.pf-essay-prose .math.display{display:block;margin:1.4rem 0;overflow-x:auto;overflow-y:hidden;padding:0.2rem 0}.pf-essay-prose table{width:100%;margin:1.6rem 0;border-collapse:collapse;font-family:var(--pf-essay-font-prose);font-size:0.88rem;font-variant-numeric:tabular-nums;border-top:1px solid var(--pf-essay-rule-strong);border-bottom:1px solid var(--pf-essay-rule-strong)}.pf-essay-prose th{background:transparent;padding:0.5rem 0.7rem;font-weight:600;color:var(--pf-essay-fg);border-bottom:1px solid var(--pf-essay-rule-strong)}.pf-essay-prose td{padding:0.45rem 0.7rem;border-bottom:1px solid var(--pf-essay-rule)}.pf-essay-prose tbody tr:last-child td{border-bottom:0}.pf-theorem,.theorem-environment{margin:1.45rem 0;padding:0.85rem 1.05rem;background-color:var(--pf-essay-surface);border-left:2px solid var(--pf-vis-slate)}.pf-theorem>p+p,.theorem-environment>p+p{margin-top:0.65rem}.theorem-environment.Definition,.theorem-environment.Problem,.theorem-environment.Conjecture,.theorem-environment.Example,.theorem-environment.定义,.theorem-environment.问题,.theorem-environment.猜想,.theorem-environment.例,.pf-theorem[data-kind="definition"],.pf-theorem[data-kind="problem"],.pf-theorem[data-kind="conjecture"]{border-left-color:var(--pf-vis-ochre)}.theorem-environment.Proof,.theorem-environment.Remark,.theorem-environment.证明,.theorem-environment.备注,.pf-theorem[data-kind="proof"],.pf-theorem[data-kind="remark"]{padding:0.15rem 0 0.15rem 1.05rem;background:transparent;border-left:1.5px solid var(--pf-essay-rule-strong)}.pf-theorem-header,.theorem-environment .theorem-header{display:inline-block;margin-right:0.4em;font-family:var(--pf-essay-font-prose);font-size:0.96rem;font-weight:600;color:var(--pf-essay-fg)}.theorem-environment .theorem-header .index::before{content:" "}.theorem-environment .theorem-header .name::before{content:" (";font-weight:400;color:var(--pf-essay-muted)}.theorem-environment .theorem-header .name::after{content:").";font-weight:400;color:var(--pf-essay-muted)}.theorem-environment .theorem-header:not(:has(.name))::after{content:"."}.theorem-environment.Proof>p:last-child::after,.theorem-environment.证明>p:last-child::after,.pf-theorem[data-kind="proof"]>p:last-child::after{content:" \220E";float:right;color:var(--pf-essay-muted);font-size:0.88em}.pf-diagram{margin:2rem 0;border:0;background:transparent}.pf-essay-hero.pf-diagram{margin:0 auto 3.25rem}.pf-diagram canvas,.pf-diagram svg{display:block;width:100%;max-width:100%;border:0}.pf-diagram-framed canvas,.pf-diagram-framed svg{border:1px solid var(--pf-essay-rule)}.pf-diagram figcaption,.pf-diagram-bar{margin-top:0.5rem;display:flex;align-items:baseline;justify-content:space-between;gap:1rem;font-family:var(--pf-essay-font-prose);font-size:0.78rem;line-height:1.45;color:var(--pf-essay-muted)}.pf-diagram-ctrl{padding:1px 6px;font-family:var(--pf-essay-font-code);font-size:0.72rem;color:var(--pf-essay-muted);background:transparent;border:1px solid var(--pf-essay-rule);cursor:pointer;flex-shrink:0}.pf-diagram-ctrl:hover{color:var(--pf-essay-fg);border-color:var(--pf-essay-rule-strong)}.pf-essay-prose sup a.footnote-ref,.pf-essay-prose a.footnote-ref{font-family:var(--pf-essay-font-prose);font-size:0.74em;text-decoration:none;border-bottom:1px dotted var(--pf-essay-link-rule);color:var(--pf-essay-muted);padding:0 0.08em}.pf-essay-sidenotes{position:relative;min-height:1px}.pf-sidenote{position:absolute;left:0;right:0;padding:0;font-family:var(--pf-essay-font-prose);font-size:0.79rem;line-height:1.38;color:var(--pf-essay-muted);transition:color 0.15s ease}.pf-sidenote.is-highlighted{color:var(--pf-essay-fg)}.pf-sidenote-num{display:block;margin-bottom:0.12rem;font-family:var(--pf-essay-font-prose);font-size:0.7rem;font-weight:400;color:var(--pf-essay-faint)}.pf-sidenote p{display:inline;margin:0}.pf-sidenote p+p{display:block;margin-top:0.3rem}.pf-sidenote a{color:inherit;text-decoration:none;border-bottom:1px dotted var(--pf-essay-link-rule)}.pf-footnotes-enhanced{display:none}.pf-essay-prose .footnotes{margin-top:3rem;padding-top:1.15rem;border-top:1px solid var(--pf-essay-rule);font-size:0.84rem;color:var(--pf-essay-muted)}.pf-essay-prose .references,.pf-essay-prose .csl-bib-body{display:grid;gap:0.55rem;font-size:0.9rem;line-height:1.54}.pf-essay-prose .csl-left-margin,.pf-essay-prose .csl-right-inline{display:inline}.pf-essay-prose .csl-entry:has(>.csl-left-margin){display:grid;grid-template-columns:minmax(1.85rem,auto) minmax(0,1fr);column-gap:0.45rem;align-items:baseline}.pf-essay-prose .csl-left-margin{font-variant-numeric:tabular-nums;color:var(--pf-essay-muted);white-space:nowrap}.pf-essay-prose .csl-right-inline{min-width:0}.pf-essay-prose .csl-entry strong{font-weight:500}.pf-essay-footer{max-width:var(--pf-essay-prose-measure);margin:4rem auto 0;padding:1.15rem 0 0;border-top:1px solid var(--pf-essay-rule);display:flex;flex-wrap:wrap;justify-content:space-between;gap:0.75rem;font-family:var(--pf-essay-font-prose);font-size:0.8rem;color:var(--pf-essay-muted)}.pf-essay-footer a{color:inherit;text-decoration:none;border-bottom:1px dotted var(--pf-essay-link-rule)}@media (max-width:1180px){.pf-essay-grid{grid-template-columns:minmax(10rem,13.5rem) minmax(0,var(--pf-essay-prose-measure))}.pf-essay-grid:has(.pf-essay-toc:empty){grid-template-columns:minmax(0,var(--pf-essay-prose-measure))}.pf-essay-toc:empty{display:none}.pf-essay-sidenotes{display:none}.pf-footnotes-enhanced{display:block}}@media (max-width:860px){.pf-essay-grid{grid-template-columns:minmax(0,1fr)}.pf-essay-prose table{display:block;overflow-x:auto;-webkit-overflow-scrolling:touch}.pf-essay-toc{position:static;max-height:none;padding:0.75rem 0.95rem;background-color:var(--pf-essay-surface);border:1px solid var(--pf-essay-rule);margin-bottom:0.5rem}.pf-essay-toc:empty{display:none}}@media (max-width:640px){.pf-essay-topnav{flex-wrap:wrap;gap:0.45rem 1.25rem}.pf-essay-navlinks{gap:0.4rem 1rem;font-size:0.88rem}}