ScalingStacks

Proof. [02L3]

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 statement follows from the equivalence of (2) and (3) in Proposition 3.21. The second statement follows from the definition of PfP_{f} and its non-positivity. ∎

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