m-proof{display:block;margin:1.8em 0;container:mpf / inline-size}figure>m-proof,.fig>m-proof{margin:0}:where(.thm,.axiom,m-formula,.def)+m-proof{margin-top:1em}m-step{display:block;margin:.45em 0}m-proof:not(:defined){padding-left:1em;border-left:2px solid var(--line)}.mpf.widget{display:block;padding-bottom:16px}.mpf .mpf__head{display:grid;grid-template-columns:minmax(0,1fr) auto;grid-template-areas:"tag tools" "name name";align-items:center;column-gap:12px;margin:0 0 12px}.mpf .mpf__titles{display:contents}.mpf .mpf__tag{grid-area:tag}.mpf .mpf__name{grid-area:name;margin-top:3px}.mpf .mpf__tools{grid-area:tools}.mpf .mpf__tag{display:inline-flex;align-items:baseline;gap:6px;font:800 11.5px/1.3 var(--font-ui);letter-spacing:.08em;text-transform:uppercase;color:var(--accent)}.mpf .mpf__tag:before{content:"∎";font-size:13px;letter-spacing:0}.mpf .mpf__name{font:700 17px/1.3 var(--font-ui);color:var(--ink);letter-spacing:-.005em}.mpf .mpf__name .katex{font-size:1.08em}.mpf .mpf__idea{margin:-4px 0 12px;font-family:var(--font-text);font-size:16px;line-height:1.55;color:var(--ink-2)}.mpf .mpf__idea>*{margin:0 0 .5em}.mpf .mpf__idea>:last-child{margin-bottom:0}.mpf .mpf__note{margin:0 0 10px;font:600 13.5px/1.45 var(--font-ui);color:var(--muted)}.mpf .mpf__note[hidden]{display:none}.mpf__body{display:grid;grid-template-columns:minmax(0,1fr);grid-template-areas:"fig" "bar" "steps" "hint";align-items:start}.mpf__body>*{min-width:0}.mpf .mpf__fig{grid-area:fig;position:relative;border-radius:calc(var(--r, 14px) - 4px);outline:none}.mpf .mpf__fig[hidden]{display:none}.mpf .mpf__fig:focus-visible{box-shadow:0 0 0 2.5px var(--paper),0 0 0 5px var(--focus)}.mpf .mpf__fig.is-pending{min-height:220px;border:1px solid var(--line);background:radial-gradient(circle,color-mix(in srgb,var(--muted) 45%,transparent) 1.2px,transparent 1.6px) 0 0 / 22px 22px,var(--paper)}.mpf .mpf__bar{grid-area:bar;margin-top:10px;display:flex;flex-wrap:wrap;align-items:center;gap:8px 8px;container:mpfbar / inline-size}.mpf .mpf__bar[hidden]{display:none}.mpf .mpf__steps{grid-area:steps;margin:12px 0 0}.mpf .mpf__hint{grid-area:hint}.mpf .mpf__hint{display:flex;align-items:flex-start;gap:7px;margin:10px 0 0;font:500 13.5px/1.45 var(--font-ui);color:var(--muted)}.mpf .mpf__hint[hidden]{display:none}.mpf .mpf__hint .mq-icon{display:block;flex:none;margin-top:.5px;color:var(--accent)}.mpf .mpf__next .mq-icon{margin-right:-3px}.mpf .mq-btn[aria-disabled=true]{opacity:.42;cursor:default;transform:none;border-color:var(--line);box-shadow:none}.mpf .mq-btn--primary[aria-disabled=true]{background:var(--line);border-color:var(--line);color:var(--ink-2)}.mpf .mpf__dots{display:flex;align-items:center;flex-wrap:wrap}.mpf .mpf__dot{width:24px;height:34px;padding:0;margin:0;border:0;border-radius:8px;background:none;display:grid;place-items:center;cursor:pointer;--pc: var(--ink-2);-webkit-tap-highlight-color:transparent;touch-action:manipulation}.mpf .mpf__dot:before{content:"";display:block;width:10px;height:10px;border-radius:6px;border:2px solid color-mix(in srgb,var(--pc) 55%,var(--line));background:transparent;box-sizing:border-box;transition:width .25s ease,background-color .25s,border-color .25s}.mpf .mpf__dot.is-done:before{background:var(--pc);border-color:var(--pc);opacity:.55}.mpf .mpf__dot.is-current:before{width:20px;background:var(--pc);border-color:var(--pc)}.mpf .mpf__dot:hover:before{border-color:var(--pc)}.mpf .mpf__dot:focus-visible{outline:2.5px solid var(--focus);outline-offset:-2px}.mpf .mpf__count{font:700 13px/1 var(--font-ui);color:var(--muted);font-variant-numeric:tabular-nums;white-space:nowrap}.mpf .mpf__count-short{display:none}.mpf .mpf__tools{display:flex;align-items:center;justify-content:flex-end;gap:0;margin:-9px -8px -9px 0}.mpf .mpf__tools[hidden],.mpf--fallback .mpf__tools{display:none}.mpf .mpf__tools .mq-btn{width:36px;padding:0}.mpf .mpf__tools .mpf__lbl{display:none}.mpf.is-end .mpf__reset{color:var(--accent)}.mpf.is-playing .mpf__play{color:var(--accent);background:var(--k-accent-soft)}.mpf .mpf__steps{list-style:none;padding:0;display:grid;gap:4px}.mpf .mpf__step{--pc: var(--ink-2);position:relative;display:flex;align-items:flex-start;gap:11px;margin:0;padding:8px 10px 8px 12px;border-radius:10px;cursor:pointer;font-family:var(--font-text);font-size:16.5px;line-height:1.5;color:var(--ink-2);outline:none;transition:background-color .25s,opacity .25s,color .25s}.mpf .mpf__step:before{content:"";position:absolute;left:0;top:8px;bottom:8px;width:3px;border-radius:2px;background:var(--pc);opacity:0;transition:opacity .25s}.mpf .mpf__step:hover{background:color-mix(in srgb,var(--pc) 6%,transparent)}.mpf .mpf__step:focus-visible{box-shadow:0 0 0 2.5px var(--focus)}.mpf .mpf__step.is-current{background:color-mix(in srgb,var(--pc) 11%,transparent);color:var(--ink)}.mpf .mpf__step.is-current:before{opacity:1}.mpf .mpf__step.is-future{opacity:.5}.mpf .mpf__step.is-future:hover{opacity:.75}.mpf .mpf__n{flex:none;width:24px;height:24px;margin-top:.1em;border-radius:50%;display:grid;place-items:center;font:800 12.5px/1 var(--font-ui);color:var(--pc);border:2px solid var(--pc);background:transparent;transition:background-color .25s,color .25s}.mpf .mpf__step.is-done .mpf__n,.mpf .mpf__step.is-current .mpf__n{background:var(--pc);color:var(--paper)}.mpf .mpf__text{flex:1 1 auto;min-width:0}.mpf .mpf__text>*{margin:0 0 .4em}.mpf .mpf__text>:last-child{margin-bottom:0}.mpf .mpf__text .katex-display{margin:.4em 0;overflow-x:auto;overflow-y:hidden}.mpf .mpf__step.is-conclusion:is(.is-current,.is-done) .mpf__text:after{content:" ∎";color:var(--ink-2);white-space:nowrap}.mpf .mpf__step.is-conclusion.is-current{background:color-mix(in srgb,var(--pc) 13%,transparent);box-shadow:inset 0 0 0 1.5px color-mix(in srgb,var(--pc) 45%,transparent)}.mpf--fig:not(.is-all) .mpf__step:not(.is-current) .mpf__text{display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:1;line-clamp:1;overflow:hidden;hyphens:manual;-webkit-hyphens:manual}.mpf--fig:not(.is-all) .mpf__step:not(.is-current) .mpf__text>*{display:inline;margin:0}.mpf--fig:not(.is-all) .mpf__step:not(.is-current) .mpf__text .katex-display{display:inline}.mpf--text:not(.is-all) .mpf__step.is-future{display:none}.mpf--text .mpf__steps{margin-top:0}.mpf--text .mpf__bar{margin-top:12px}.mpf--text .mpf__body{grid-template-areas:"fig" "steps" "bar" "hint"}.mpf--text .mpf__step.is-new{animation:mpf-in .4s ease}@keyframes mpf-in{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:none}}.mpf--fallback .mpf__bar,.mpf--fallback .mpf__hint,.mpf--fallback .mpf__fig{display:none}.mpf.mpf--fallback .mpf__steps{margin-top:0}.mpf.mpf--fallback .mpf__steps .mpf__step{cursor:default;opacity:1;color:var(--ink);background:none;box-shadow:none}.mpf.mpf--fallback .mpf__steps .mpf__step:before{opacity:0}.mpf.mpf--fallback .mpf__steps .mpf__step .mpf__n{background:var(--pc);color:var(--paper)}.mpf.mpf--fallback .mpf__steps .mpf__step .mpf__text{display:block;overflow:visible;-webkit-line-clamp:unset;line-clamp:unset}.mpf.mpf--fallback .mpf__steps .mpf__step .mpf__text>*{display:revert}.mpf.mpf--fallback .mpf__steps .mpf__step.is-conclusion .mpf__text:after{content:" ∎";color:var(--ink-2)}@media (prefers-reduced-motion: reduce){.mpf .mpf__step,.mpf .mpf__dot:before,.mpf .mpf__n{transition:none}.mpf--text .mpf__step.is-new{animation:none}}@container mpf (min-width: 740px){.mpf--fig:not(.mpf--stack) .mpf__body{grid-template-columns:minmax(0,1.35fr) minmax(0,1fr);grid-template-rows:auto auto 1fr;grid-template-areas:"fig steps" "bar steps" "hint steps";column-gap:24px}.mpf--fig:not(.mpf--stack) .mpf__steps{margin-top:0}.mpf--fig:not(.mpf--stack) .mpf__step:not(.is-current) .mpf__text{display:block;-webkit-line-clamp:unset;line-clamp:unset;overflow:visible}.mpf--fig:not(.mpf--stack) .mpf__step:not(.is-current) .mpf__text>*{display:revert}.mpf--fig:not(.mpf--stack) .mpf__step:not(.is-current) .mpf__text>:not(:last-child){margin-bottom:.4em}.mpf--fig:not(.mpf--stack) .mpf__step.is-future{opacity:.42}}@container mpfbar (max-width: 440px){.mpf .mpf__prev .mpf__lbl{display:none}.mpf .mpf__prev{width:36px;padding:0}.mpf .mpf__count-long{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.mpf .mpf__count-short{display:inline}}@container mpf (min-width: 560px){.mpf .mpf__head{grid-template-columns:auto minmax(0,1fr) auto;grid-template-areas:"tag name tools";align-items:baseline}.mpf .mpf__name{margin-top:0}.mpf .mpf__tools{align-self:center}}@container mpf (min-width: 860px){.mpf .mpf__tools .mq-btn:not(.mpf__play){width:auto;padding:6px 12px}.mpf .mpf__tools .mpf__lbl{display:inline}}@container mpf (max-width: 470px){.mpf .mpf__step{font-size:16px;gap:9px;padding:7px 8px 7px 10px}.mpf .mpf__name{font-size:16px}}