ScalingStacks

Claim 5 [029A]

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

Claim 5

. If Aj,∙A_{j,\bullet} and Bj,∙B_{j,\bullet} hold true for all j=0,…,k−1j=0,...,k-1, then Ak,lA_{k,l} implies Bk,lB_{k,l}, with l=0,…,n−kl=0,...,n-k.

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