Assertion: isometry's point | /r/HasAspect | minimal norm
Facets:
Source sentences:
text: The proof consists in showing that every minimizing sequence (d n ) ⊂ D is Cauchy (using the parallelogram identity) hence converges (using completeness) to a point in D that has minimal norm.