.MafsView{display:block;background:var(--mafs-bg);overflow:hidden;-webkit-user-select:none;-moz-user-select:none;user-select:none;font-family:inherit;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;touch-action:none;outline:0;--mafs-bg:black;--mafs-fg:white;--mafs-origin-color:var(--mafs-fg);--mafs-line-color:#555;--mafs-line-stroke-dash-style:4,3;--mafs-axis-stroke-width:1px;--grid-line-subdivision-color:#222;--mafs-red:#f11d0e;--mafs-orange:#f14e0e;--mafs-yellow:#ffe44a;--mafs-green:#15e272;--mafs-blue:#58a6ff;--mafs-indigo:#7c58ff;--mafs-violet:#ae58ff;--mafs-pink:#ee00ab}.MafsView text{fill:var(--mafs-fg);cursor:default}.MafsView path{stroke:var(--mafs-fg)}.MafsView:focus-visible{border-radius:5px;outline:3px solid #58a6ff}@supports not selector(:focus-visible){.MafsView:focus{border-radius:5px;outline:3px solid #58a6ff}}.mafs-shadow{paint-order:stroke;stroke-width:3px;stroke:var(--mafs-bg);stroke-opacity:.75;stroke-linejoin:round}.mafs-movable-point{cursor:-webkit-grab;cursor:grab;touch-action:none}.mafs-movable-point-dragging{cursor:-webkit-grabbing;cursor:grabbing}.mafs-movable-point:focus{outline:0}.mafs-movable-point *{fill:none;stroke:none}.mafs-movable-point-hitbox{fill:transparent}.mafs-movable-point-focus{stroke:var(--movable-point-color);stroke-width:2;stroke-opacity:0;fill:none;transition:stroke-opacity .2s ease}.mafs-movable-point-ring{fill:var(--movable-point-color);fill-opacity:.25;stroke:none;transition:r .2s ease}.mafs-movable-point-point{fill:var(--movable-point-color);transition:r .2s ease}.mafs-movable-point:focus-visible .mafs-movable-point-point,.mafs-movable-point:hover .mafs-movable-point-point{r:calc(var(--movable-point-ring-size) - 2px)}.mafs-movable-point:focus-visible .mafs-movable-point-ring,.mafs-movable-point:hover .mafs-movable-point-ring{r:calc(var(--movable-point-ring-size) + 3px)}.mafs-movable-point.mafs-movable-point-dragging .mafs-movable-point-ring{r:var(--movable-point-ring-size)}.mafs-movable-point:focus-visible .mafs-movable-point-focus{stroke-opacity:1}:root{--large-9x16:calc(1rem + 9/16 * 1svh + 1svw);--medium-9x16:calc(1rem + 9/16 * 0.5svh + 0.5svw);--small-9x16:calc(1rem + 9/16 * 0.25svh + 0.25svw);--large-4x3:calc(1rem + 4/3 * 1svh + 1svw);--medium-4x3:calc(1rem + 4/3 * 0.5svh + 0.5svw);--small-4x3:calc(1rem + 4/3 * 0.25svh + 0.25svw);--large-16x9:calc(1rem + 16/9 * 1svh + 1svw);--medium-16x9:calc(1rem + 16/9 * 0.5svh + 0.5svw);--small-16x9:calc(1rem + 16/9 * 0.25svh + 0.25svw);--blue:#0099ff;--purple:#ff66ff}*{margin:0;border:0;padding:0;box-sizing:border-box;text-rendering:optimizeLegibility;shape-rendering:geometricPrecision}::selection{background-color:var(--blue);color:#fff}html{background-color:#000;overflow-x:hidden;scrollbar-width:thin;scroll-behavior:smooth;font-size:10px}body{font-family:var(--pt-serif)}header{height:10svh;display:grid;align-items:center;justify-items:center;background-color:#000}.logo-0,.logo-1,.logo-link{height:7.5svh;position:absolute;transform:translateX(-50%);transition:opacity .5s cubic-bezier(.455,.05,.515,.955)}.logo-0{z-index:1}.logo-0:hover~.logo-1,.logo-link:focus>.logo-1{opacity:0}.logo-0:hover,.logo-link:focus>.logo-0{opacity:1}.theme-toggle{justify-self:end;background-color:#000;color:#fff}.theme-toggle svg{width:100%;height:100%}hr{height:1px}hr,main{background-color:#fff}main{color:#000;min-height:80svh;padding:1svh 0}html[data-theme=dark] main{background-color:#000;color:#fff}.table-of-contents{display:grid;justify-items:center}summary{cursor:pointer}summary:hover{text-decoration:underline}ol,ul{padding:0 0 0 5svw}.lower-latin{list-style-type:lower-latin}a{color:var(--blue);text-decoration:none}a:hover{text-decoration:underline}a:visited{color:var(--purple)}h1,h2,h3,h4,h5,h6{font-style:italic;font-weight:400}.MafsView,.katex-display,p,table{margin:0 0 2.5svh!important}.katex-display{overflow-x:scroll;overflow-y:hidden}.katex-display::-webkit-scrollbar{height:1svh}.katex-display::-webkit-scrollbar-track{background-color:transparent}.katex-display::-webkit-scrollbar-thumb{border-radius:1rem;background-color:#666}.katex-display::-webkit-scrollbar-thumb:hover{background-color:#000}html[data-theme=dark] .katex-display::-webkit-scrollbar-thumb{background-color:#999}html[data-theme=dark] .katex-display::-webkit-scrollbar-thumb:hover{background-color:#fff}.vlist-s{-webkit-user-select:none;-moz-user-select:none;user-select:none}table,td{width:100%;table-layout:fixed;overflow-wrap:break-word;border:1px solid #000;border-collapse:collapse;text-align:center}html[data-theme=dark] td{border-color:#fff}.MafsView{cursor:-webkit-grab;cursor:grab;outline-color:#000!important;outline-offset:.25svh}html[data-theme=dark] .MafsView{border:1px solid #fff;outline-color:#fff!important;outline-offset:0}.MafsView:active{cursor:-webkit-grabbing;cursor:grabbing}.button{display:grid;justify-items:end}button{background-color:#fff;border:1px solid #000;color:#000;padding:.5svh .25svw;cursor:pointer}html[data-theme=dark] .button button{background-color:#000;border:1px solid #fff;color:#fff}.button button:focus,.button button:hover{background-color:#000;color:#fff}.button button:disabled,html[data-theme=dark] .button button:focus,html[data-theme=dark] .button button:hover{background-color:#fff;color:#000}.button button:disabled{cursor:default}html[data-theme=dark] .button button:disabled{background-color:#000;color:#fff}footer{height:10svh;display:grid;grid-template-columns:1fr 1fr;align-items:center;justify-items:center;background-color:#000}@media (max-aspect-ratio:9/16){.theme-toggle{height:5svh;margin:0 3svh 0 0}.main{padding:0 2.5svw}h1,h2,h3,h4,h5,h6{font-size:var(--large-9x16)}.katex-display,a,button,li::marker,p,summary,table{font-size:var(--medium-9x16)}foreignObject,text{font-size:var(--small-9x16)}}@media (min-aspect-ratio:4/3) and (max-aspect-ratio:16/9){.theme-toggle{height:6.25svh;margin:0 2.375svh 0 0}.main{padding:0 10svw}h1,h2,h3,h4,h5,h6{font-size:var(--large-4x3)}.katex-display,a,button,li::marker,p,summary,table{font-size:var(--medium-4x3)}foreignObject,text{font-size:var(--small-4x3t)}}@font-face{font-family:"PT Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/math/_next/static/media/576e9e4fe930707f-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:"PT Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/math/_next/static/media/a414556a1e0087e1-s.p.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:"PT Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/math/_next/static/media/8a1e0f876516a290-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:"PT Serif";font-style:italic;font-weight:400;font-display:swap;src:url(/math/_next/static/media/55f9d8744277143a-s.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:"PT Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/math/_next/static/media/4cefbb0c18f21ca5-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:"PT Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/math/_next/static/media/75655d6639acf9be-s.p.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:"PT Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/math/_next/static/media/8dcff538116e20e3-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:"PT Serif";font-style:normal;font-weight:400;font-display:swap;src:url(/math/_next/static/media/886f446b96dc7734-s.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:"PT Serif Fallback";src:local("Times New Roman");ascent-override:94.22%;descent-override:25.93%;line-gap-override:0.00%;size-adjust:110.28%}.__className_496e3b{font-family:"PT Serif","PT Serif Fallback";font-weight:400}.__variable_496e3b{--pt-serif:"PT Serif","PT Serif Fallback"}@media (min-aspect-ratio:9/16) and (max-aspect-ratio:4/3){.theme-toggle{height:5svh;margin:0 3svh 0 0}.main{padding:0 5svw}h1,h2,h3,h4,h5,h6{font-size:var(--large-9x16)}.katex-display,a,button,li::marker,p,summary,table{font-size:var(--medium-9x16)}foreignObject,text{font-size:var(--small-9x16)}}@media (min-aspect-ratio:16/9){.theme-toggle{height:7.5svh;margin:0 1.75svh 0 0}.main{padding:0 20svw}h1,h2,h3,h4,h5,h6{font-size:var(--large-16x9)}.katex-display,a,button,li::marker,p,summary,table{font-size:var(--medium-16x9)}foreignObject,text{font-size:var(--small-16x9)}}