https://5dok.net/document/yr3034mp-metrische-ruimten.html