@font-face{font-family:"et-book";src:url("/fonts/et-book/et-book-roman-line-figures/et-book-roman-line-figures.woff") format("woff");font-style:normal;font-weight:normal;font-display:swap;unicode-range:U+0000-10FFFF}@font-face{font-family:"et-book";src:url("/fonts/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.woff") format("woff");font-style:italic;font-weight:normal;font-display:swap;unicode-range:U+0000-10FFFF}@font-face{font-family:"et-book";src:url("/fonts/et-book/et-book-bold-line-figures/et-book-bold-line-figures.woff") format("woff");font-style:normal;font-weight:bold;font-display:swap;unicode-range:U+0000-10FFFF}@font-face{font-family:"Cairo";src:url("/fonts/Cairo/cairo-v28-arabic_latin-regular.woff2") format("woff2");font-style:normal;font-weight:400;font-display:swap;unicode-range:U+0600-06FF, U+0750-077F, U+08A0-08FF, U+FB50-FDFF, U+FE70-FEFF, U+1EE00-1EEFF}@font-face{font-family:"Noto Emoji";src:url("/fonts/noto-emoji/noto-emoji-v53-emoji-300.woff2") format("woff2");font-style:normal;font-weight:300;font-display:swap;unicode-range:U+1F300-1F5FF, U+1F600-1F64F, U+1F680-1F6FF, U+1F700-1F77F, U+1F780-1F7FF, U+1F800-1F8FF, U+1F900-1F9FF, U+1FA00-1FA6F, U+1FA70-1FAFF, U+2600-26FF, U+2700-27BF, U+FE00-FE0F, U+1F1E6-1F1FF}body[a="dark"]{background-color:#1a1b26;color:#e0e0e0}body[a="dark"] figure p{color:#e0e0e0}body[a="dark"] .icon svg{fill:#e0e0e0}body[a="dark"] a{color:#7aa2f7;text-decoration:none}body[a="dark"] a:hover{color:#4a80f4;text-decoration:none}body[a="dark"] details{border:1px solid #e0e0e0}body[a="dark"] details summary{color:#e0e0e0}body[a="dark"] details[open] summary{border-bottom:1px solid #e0e0e0}body[a="dark"] *:target{background:#3a3f4e;color:#e0e0e0}body[a="dark"] hr{border:0.5px solid rgba(224,224,224,0.498039)}body[a="dark"] table,body[a="dark"] th,body[a="dark"] td{border:thin solid #e0e0e0}body[a="dark"] .toc{border:thin solid #e0e0e0;padding:1rem}body[a="dark"] figcaption{color:#a9b1d6}body[a="dark"] blockquote{border:thin solid #e0e0e0}body[a="dark"] code:not(pre>code){color:#97c279}body[a="dark"] .sidenote-number::after{color:#d08770}body[a="dark"] .sidenote::before{color:#d08770}@media screen and (max-width: 760px){body[a="dark"] .sidenote{border:1px solid #d08770}}body[a="dark"] .theorem-env.theorem{background-color:rgba(45,51,69,0.435294);border-left-color:#6c8edc}body[a="dark"] .theorem-env.theorem .theorem-type{color:#6c8edc}body[a="dark"] .theorem-env.lemma{background-color:rgba(45,51,69,0.435294);border-left-color:#a3be8c}body[a="dark"] .theorem-env.lemma .theorem-type{color:#a3be8c}body[a="dark"] .theorem-env.definition{background-color:rgba(45,51,69,0.435294);border-left-color:#ebcb8b}body[a="dark"] .theorem-env.definition .theorem-type{color:#ebcb8b}body[a="dark"] .theorem-env.corollary{background-color:rgba(45,51,69,0.435294);border-left-color:#b48ead}body[a="dark"] .theorem-env.corollary .theorem-type{color:#b48ead}body[a="dark"] .theorem-env.proposition{background-color:rgba(45,51,69,0.435294);border-left-color:#88c0d0}body[a="dark"] .theorem-env.proposition .theorem-type{color:#88c0d0}body[a="light"]{background-color:#fefcf0;color:#1e1e1e}body[a="light"] figure p{color:#1e1e1e}body[a="light"] .icon svg{fill:#1e1e1e}body[a="light"] a{color:#4b63b8;text-decoration:none}body[a="light"] a:hover{color:#3b4f95;text-decoration:none}body[a="light"] details{border:1px solid #1e1e1e}body[a="light"] details summary{color:#1e1e1e}body[a="light"] details[open] summary{border-bottom:1px solid #1e1e1e}body[a="light"] *:target{background:#e4e8ec;color:#1e1e1e}body[a="light"] hr{border:0.5px solid rgba(30,30,30,0.309804)}body[a="light"] table,body[a="light"] th,body[a="light"] td{border:thin solid #1e1e1e}body[a="light"] .toc{border:thin solid #1e1e1e;padding:1rem}body[a="light"] figcaption{color:#777}body[a="light"] blockquote{border:thin solid #1e1e1e}body[a="light"] code:not(pre>code){color:#0b1007}body[a="light"] .sidenote-number::after{color:#d33f49}body[a="light"] .sidenote::before{color:#d33f49}@media screen and (max-width: 760px){body[a="light"] .sidenote{border:1px solid #d33f49}}body[a="light"] .theorem-env.theorem{background-color:rgba(239,239,239,0.501961);border-left-color:#d33f49}body[a="light"] .theorem-env.theorem .theorem-type{color:#d33f49}body[a="light"] .theorem-env.lemma{background-color:rgba(239,239,239,0.501961);border-left-color:#4b63b8}body[a="light"] .theorem-env.lemma .theorem-type{color:#4b63b8}body[a="light"] .theorem-env.definition{background-color:rgba(239,239,239,0.501961);border-left-color:#22863a}body[a="light"] .theorem-env.definition .theorem-type{color:#22863a}body[a="light"] .theorem-env.corollary{background-color:rgba(239,239,239,0.501961);border-left-color:#c18401}body[a="light"] .theorem-env.corollary .theorem-type{color:#c18401}body[a="light"] .theorem-env.proposition{background-color:rgba(239,239,239,0.501961);border-left-color:#6f42c1}body[a="light"] .theorem-env.proposition .theorem-type{color:#6f42c1}@media (prefers-color-scheme: dark){body[a="auto"]{background-color:#1a1b26;color:#e0e0e0}body[a="auto"] figure p{color:#e0e0e0}body[a="auto"] .icon svg{fill:#e0e0e0}body[a="auto"] a{color:#7aa2f7;text-decoration:none}body[a="auto"] a:hover{color:#4a80f4;text-decoration:none}body[a="auto"] details{border:1px solid #e0e0e0}body[a="auto"] details summary{color:#e0e0e0}body[a="auto"] details[open] summary{border-bottom:1px solid #e0e0e0}body[a="auto"] *:target{background:#3a3f4e;color:#e0e0e0}body[a="auto"] hr{border:0.5px solid rgba(224,224,224,0.498039)}body[a="auto"] table,body[a="auto"] th,body[a="auto"] td{border:thin solid #e0e0e0}body[a="auto"] .toc{border:thin solid #e0e0e0;padding:1rem}body[a="auto"] figcaption{color:#a9b1d6}body[a="auto"] blockquote{border:thin solid #e0e0e0}body[a="auto"] code:not(pre>code){color:#97c279}body[a="auto"] .sidenote-number::after{color:#d08770}body[a="auto"] .sidenote::before{color:#d08770}}@media screen and (prefers-color-scheme: dark) and (max-width: 760px){body[a="auto"] .sidenote{border:1px solid #d08770}}@media (prefers-color-scheme: dark){body[a="auto"] .theorem-env.theorem{background-color:rgba(45,51,69,0.435294);border-left-color:#6c8edc}body[a="auto"] .theorem-env.theorem .theorem-type{color:#6c8edc}body[a="auto"] .theorem-env.lemma{background-color:rgba(45,51,69,0.435294);border-left-color:#a3be8c}body[a="auto"] .theorem-env.lemma .theorem-type{color:#a3be8c}body[a="auto"] .theorem-env.definition{background-color:rgba(45,51,69,0.435294);border-left-color:#ebcb8b}body[a="auto"] .theorem-env.definition .theorem-type{color:#ebcb8b}body[a="auto"] .theorem-env.corollary{background-color:rgba(45,51,69,0.435294);border-left-color:#b48ead}body[a="auto"] .theorem-env.corollary .theorem-type{color:#b48ead}body[a="auto"] .theorem-env.proposition{background-color:rgba(45,51,69,0.435294);border-left-color:#88c0d0}body[a="auto"] .theorem-env.proposition .theorem-type{color:#88c0d0}}@media (prefers-color-scheme: light){body[a="auto"]{background-color:#fefcf0;color:#1e1e1e}body[a="auto"] figure p{color:#1e1e1e}body[a="auto"] .icon svg{fill:#1e1e1e}body[a="auto"] a{color:#4b63b8;text-decoration:none}body[a="auto"] a:hover{color:#3b4f95;text-decoration:none}body[a="auto"] details{border:1px solid #1e1e1e}body[a="auto"] details summary{color:#1e1e1e}body[a="auto"] details[open] summary{border-bottom:1px solid #1e1e1e}body[a="auto"] *:target{background:#e4e8ec;color:#1e1e1e}body[a="auto"] hr{border:0.5px solid rgba(30,30,30,0.309804)}body[a="auto"] table,body[a="auto"] th,body[a="auto"] td{border:thin solid #1e1e1e}body[a="auto"] .toc{border:thin solid #1e1e1e;padding:1rem}body[a="auto"] figcaption{color:#777}body[a="auto"] blockquote{border:thin solid #1e1e1e}body[a="auto"] code:not(pre>code){color:#0b1007}body[a="auto"] .sidenote-number::after{color:#d33f49}body[a="auto"] .sidenote::before{color:#d33f49}}@media screen and (prefers-color-scheme: light) and (max-width: 760px){body[a="auto"] .sidenote{border:1px solid #d33f49}}@media (prefers-color-scheme: light){body[a="auto"] .theorem-env.theorem{background-color:rgba(239,239,239,0.501961);border-left-color:#d33f49}body[a="auto"] .theorem-env.theorem .theorem-type{color:#d33f49}body[a="auto"] .theorem-env.lemma{background-color:rgba(239,239,239,0.501961);border-left-color:#4b63b8}body[a="auto"] .theorem-env.lemma .theorem-type{color:#4b63b8}body[a="auto"] .theorem-env.definition{background-color:rgba(239,239,239,0.501961);border-left-color:#22863a}body[a="auto"] .theorem-env.definition .theorem-type{color:#22863a}body[a="auto"] .theorem-env.corollary{background-color:rgba(239,239,239,0.501961);border-left-color:#c18401}body[a="auto"] .theorem-env.corollary .theorem-type{color:#c18401}body[a="auto"] .theorem-env.proposition{background-color:rgba(239,239,239,0.501961);border-left-color:#6f42c1}body[a="auto"] .theorem-env.proposition .theorem-type{color:#6f42c1}}html{height:100%}body{font-family:"Noto Emoji", "Cairo", "et-book", serif;font-size:22px;line-height:1.4;margin:0;min-height:100%;overflow-wrap:break-word;counter-reset:sidenote-counter}h1,h2,h3,h4,h5,h6{margin-top:1.5rem;font-weight:normal;line-height:1.2}p{margin:1.4rem 0}li{margin:0.4rem 0}a{text-decoration:none}a:hover{text-decoration:underline}hr{text-align:center;margin:2rem 0}pre{width:100%;padding:1em 0em;font-size:16px;overflow-x:auto}table{width:100%}table,th,td{border-collapse:collapse;padding:0.4rem}pre,code{tab-size:4;-o-tab-size:4;-moz-tab-size:4}code{text-size-adjust:100%;-ms-text-size-adjust:100%;-moz-text-size-adjust:100%;-webkit-text-size-adjust:100%}code:not(pre>code){padding:0.1em;font-size:75%;font-weight:600}code.has-jax{-webkit-font-smoothing:antialiased;background:inherit !important;border:none !important;font-size:100%}blockquote{padding:1rem}blockquote p{margin:0}img{max-width:100%;display:block;margin:0 auto}figcaption{text-align:center;opacity:0.5}details{border-radius:4px;padding:0.5em 0.5em 0}summary{font-style:italic;font-weight:600;margin:-0.5em -0.5em 0;padding:0.5em}details[open]{padding:0.5em}details summary{text-decoration:none}details[open] summary{margin-bottom:0.5em;padding-bottom:0.5em}.post-meta{display:flex;justify-content:space-between;align-items:center}.toc{padding:1rem}.w{max-width:55%;margin:0 2rem 0 2rem;padding:0 2rem 0 2rem;text-align:justify}mjx-container[display="true"]{overflow-x:auto;display:block;max-width:100%;padding:0.2rem 0}mjx-container[display="true"]>svg{max-width:100% !important;height:auto !important}.banner{width:100%;height:120px;overflow:hidden;margin:2rem 0;border-radius:8px;position:relative}.banner img{width:100%;height:100%;object-fit:cover;display:block}nav{display:flex;flex-direction:row;justify-content:space-around;flex-wrap:wrap;margin-top:10px}.icon svg{margin-right:0.1em;margin-left:0.1em;vertical-align:text-top}.hover-wrapper{position:relative;display:block}.post-image{display:none}.hover-wrapper:hover .post-image{display:none}.site-footer{display:grid;justify-content:space-around;max-width:768px}.site-footer p{margin:0rem;padding:0.5rem}.sidenote-wrapper{display:inline;margin:0rem;padding:0rem;counter-increment:sidenote-counter}.sidenote-number::after{content:counter(sidenote-counter);font-weight:800;font-size:0.7em;vertical-align:top;cursor:default}.sidenote{width:45%;float:right;clear:right;position:relative;margin:0rem -63% 0rem 0rem;font-size:16px;padding:1rem}.sidenote::before{content:counter(sidenote-counter);font-weight:800;font-size:0.85em;vertical-align:super;text-decoration:none}.sidenote img{max-width:100%;height:auto;display:block;margin-top:0.5rem}.theorem-env{margin:1rem 0rem 1rem;padding:0.5rem 1rem 0.5rem;border-left:2px solid}.theorem-env .theorem-head{margin-bottom:0.4rem;display:flex;align-items:baseline;flex-wrap:wrap}.theorem-env .theorem-type{font-style:italic;font-weight:600}.theorem-env .theorem-label{margin-left:0.4rem}.theorem-env .theorem-body p,.theorem-env .theorem-body ul,.theorem-env .theorem-body ol{width:100%;margin:0rem}.back-link{margin:0.5rem 0rem 0rem -2.6rem;position:sticky;top:20px;font-size:24pt}@media screen and (max-width: 760px){.w{max-width:100%;margin:0 auto 0 0;padding:1rem 1rem;text-align:justify}mjx-container[display="true"]{display:block !important;width:100% !important;clear:both;position:static !important}.sidenote-wrapper{position:relative;display:inline}.sidenote-number{cursor:pointer}.sidenote-number::after{content:counter(sidenote-counter);text-decoration:underline;vertical-align:super}.sidenote::before{text-decoration:underline;margin-right:0.5rem}.sidenote{width:100%;clear:both;display:none;position:static;box-sizing:border-box;margin:1.5rem 0 1.5rem}.sidenote-number.active+.sidenote{display:block}.theorem-env{clear:both;margin:1rem -0.5rem 1rem}details{margin:1rem -0.5rem 1rem}.back-link{margin:0.5rem 0rem 0rem 0rem;position:static}.hover-wrapper:hover .post-image{display:none}}