prove a lemma for a metric space

Printable View