.svelte-klrtf3:export{c-bg:#001727;c-base:#1f1f1f}.article-tabs.svelte-klrtf3{margin:16px 0}.article-tabs__list.svelte-klrtf3{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:16px}.article-tabs__list.svelte-klrtf3 button:where(.svelte-klrtf3){font-size:12px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fffc;background:#69739322;border:1px solid rgba(255,255,255,.1019607843);padding:8px 16px;cursor:pointer;transition:.2s}.article-tabs__list.svelte-klrtf3 button.is-active:where(.svelte-klrtf3){background:#5c521f;border-color:#ffffff4a;color:#fff}@media screen and (min-width:840px){.article-tabs__list.svelte-klrtf3 button:where(.svelte-klrtf3):not(.is-active):hover{background:#69739392;border-color:#ffffff3a}}.svelte-rv71qy:export{c-bg:#001727;c-base:#1f1f1f}.proof-box.svelte-rv71qy{position:relative;margin:34px 0 28px;padding:34px 26px 28px;border:solid 1px #4a7a9b;background:#ffffff06}.proof-box__label.svelte-rv71qy{position:absolute;top:0;left:18px;transform:translateY(-50%);padding:6px 12px;background:#4a7a9b;color:#001727;font-size:12px;font-weight:700;line-height:1;letter-spacing:.08em;white-space:nowrap}.proof-box__body.svelte-rv71qy>:first-child{margin-top:0}.proof-box__body.svelte-rv71qy>:last-child{margin-bottom:0}.proof-box__body.svelte-rv71qy p{margin:14px 0}.proof-box__body.svelte-rv71qy .proof-eq{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;column-gap:12px;margin:16px 0}.proof-box__body.svelte-rv71qy .proof-eq .math-display{margin:0;overflow:visible}.proof-box__body.svelte-rv71qy .proof-eq--last{align-items:flex-end;padding-bottom:6px}.proof-box__body.svelte-rv71qy .proof-eq__label{font-size:12px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fff7}.proof-box__body.svelte-rv71qy .proof-em{color:#e9e792;font-weight:700}.proof-box__body.svelte-rv71qy .proof-mark{background:linear-gradient(transparent 62%,#e9e79233 62%);font-weight:700}.proof-box__body.svelte-rv71qy .qed{color:#e9e792;font-weight:700}.proof-box__body.svelte-rv71qy .qed-line{text-align:right}@media screen and (max-width:840px){.proof-box.svelte-rv71qy{padding:30px 14px 22px}.proof-box__label.svelte-rv71qy{left:10px;padding:5px 10px;font-size:11px;font-weight:700;line-height:1;letter-spacing:.08em}}.svelte-3x8b3l:export{c-bg:#001727;c-base:#1f1f1f}.proof.svelte-3x8b3l{width:100%;min-width:0}.proof__steps.svelte-3x8b3l{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:10px}.proof__steps.svelte-3x8b3l button:where(.svelte-3x8b3l){font-size:12px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fffc;background:#69739322;border:1px solid rgba(255,255,255,.1019607843);padding:8px 14px;cursor:pointer;transition:.2s}.proof__steps.svelte-3x8b3l button.is-active:where(.svelte-3x8b3l){background:#5c521f;border-color:#ffffff4a;color:#fff}.proof__canvas.svelte-3x8b3l{width:100%;min-width:0}.proof__canvas.svelte-3x8b3l canvas{display:block;width:100%;height:auto;max-width:100%}.proof__caption.svelte-3x8b3l{font-size:12px;font-weight:400;line-height:1.6;letter-spacing:.05em;color:#fffa;margin:10px 0 0}.proof__slider.svelte-3x8b3l{display:flex;align-items:center;column-gap:10px;margin-top:14px}.proof__mark.svelte-3x8b3l{font-size:12px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fff8;flex:0 0 auto}.proof__value.svelte-3x8b3l{font-size:12px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fffc;width:6em;flex:0 0 auto;text-align:right;font-variant-numeric:tabular-nums}.proof.svelte-3x8b3l input[type=range]:where(.svelte-3x8b3l){flex:1 1 auto;min-width:0;accent-color:#e9e792}.proof__readout.svelte-3x8b3l{list-style:none;display:flex;flex-wrap:wrap;gap:10px;margin:16px 0 0;padding:0}.proof__readout.svelte-3x8b3l div:where(.svelte-3x8b3l){flex:1 1 110px;border-left:3px solid var(--swatch, rgba(255, 255, 255, .2));background:#69739322;padding:10px 12px}.proof__readout.svelte-3x8b3l dt:where(.svelte-3x8b3l){font-size:11px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fff8;margin-bottom:4px}.proof__readout.svelte-3x8b3l dd:where(.svelte-3x8b3l){font-size:16px;font-weight:700;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fff;margin:0;font-variant-numeric:tabular-nums}@media screen and (min-width:840px){.proof__steps.svelte-3x8b3l button:where(.svelte-3x8b3l):hover{background:#69739392;border-color:#ffffff3a}}.svelte-1b7j9ae:export{c-bg:#001727;c-base:#1f1f1f}.split.svelte-1b7j9ae{width:100%;min-width:0}.split__steps.svelte-1b7j9ae{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:10px}.split__steps.svelte-1b7j9ae button:where(.svelte-1b7j9ae){font-size:12px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fffc;background:#69739322;border:1px solid rgba(255,255,255,.1019607843);padding:8px 14px;cursor:pointer;transition:.2s}.split__steps.svelte-1b7j9ae button.is-active:where(.svelte-1b7j9ae){background:#5c521f;border-color:#ffffff4a;color:#fff}.split__canvas.svelte-1b7j9ae{width:100%;min-width:0}.split__canvas.svelte-1b7j9ae canvas{display:block;width:100%;height:auto;max-width:100%}.split__caption.svelte-1b7j9ae{font-size:12px;font-weight:400;line-height:1.6;letter-spacing:.05em;color:#fffa;margin:10px 0 0}.split__slider.svelte-1b7j9ae{display:flex;align-items:center;column-gap:10px;margin-top:14px}.split__mark.svelte-1b7j9ae{font-size:12px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fff8;flex:0 0 auto}.split__value.svelte-1b7j9ae{font-size:12px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fffc;width:6em;flex:0 0 auto;text-align:right;font-variant-numeric:tabular-nums}.split.svelte-1b7j9ae input[type=range]:where(.svelte-1b7j9ae){flex:1 1 auto;min-width:0;accent-color:#e9e792}.split__readout.svelte-1b7j9ae{list-style:none;display:flex;flex-wrap:wrap;gap:10px;margin:16px 0 0;padding:0}.split__readout.svelte-1b7j9ae div:where(.svelte-1b7j9ae){flex:1 1 110px;border-left:3px solid var(--swatch, rgba(255, 255, 255, .2));background:#69739322;padding:10px 12px}.split__readout.svelte-1b7j9ae dt:where(.svelte-1b7j9ae){font-size:11px;font-weight:400;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fff8;margin-bottom:4px}.split__readout.svelte-1b7j9ae dd:where(.svelte-1b7j9ae){font-size:16px;font-weight:700;line-height:1;letter-spacing:.05em;font-family:din-2014,sans-serif;color:#fff;margin:0;font-variant-numeric:tabular-nums}@media screen and (min-width:840px){.split__steps.svelte-1b7j9ae button:where(.svelte-1b7j9ae):hover{background:#69739392;border-color:#ffffff3a}}.svelte-n0s431:export{c-bg:#001727;c-base:#1f1f1f}.lead-heading.svelte-n0s431{margin-top:20px!important}.conclusion.svelte-n0s431{margin:16px 0 8px;padding:26px 20px;background:#ffffff06;border-left:solid 3px #e9e792}.conclusion.svelte-n0s431 .katex{font-size:26px}@media screen and (max-width:840px){.conclusion.svelte-n0s431{padding:20px 14px}.conclusion.svelte-n0s431 .katex{font-size:19px}}.proof-tabs-host.svelte-n0s431 .article-tabs{margin:0}