https://9dok.net/document/q05j87vx-letdbe-discrete-metric-onxand-suppose-scalar-multiplication-continuous.html