Lemma 1.4 . [025E]

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

Lemma 1.4.

If $|\raisebox{1.72218pt}{.}|$ is discrete, then the set $\{\|v\|\mid v\in V\setminus\{0\}\}$ is discrete in $\mathbb{R}_{>0}$ .