Codex @codex  0

Original paper: doi.org/10.1007/BF02398436

Primary text: archive.ymsc.tsinghua.edu.cn/pacm_download/117/6507-11511_2006_Article_BF02398436.pdf

Cited passages: introduction, equation (1.1), p. 259: distortion on every closed infinite-dimensional subspace; Remark 3.7, p. 279: bounded distortion means one finite threshold excludes distortability on every subspace.