ScalingStacks

Proof. [0176]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

The first two points are clear. When σ\sigma is a maximal face, each EiE_{i} meeting YY satisfies κ⁡(vEi)>κmin\kappa(v_{E_{i}})>\kappa_{\min}. As a result, D|YD|_{Y} contains each lc center Ei∩YE_{i}\cap Y of (Y,BY)(Y,B_{Y}), which yields the last assertion. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.